From e257e7a40b0d7d22c3aff2d1f15bb350775dbff3 Mon Sep 17 00:00:00 2001 From: Andrew Tridgell Date: Tue, 28 Sep 2010 11:24:37 -0700 Subject: [PATCH] autobuild: use git notes for autobuild messages This avoids changing the commit ID when we add a note that the autobuild has passed thanks to Jelmer for this suggestion! --- script/autobuild.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/autobuild.py b/script/autobuild.py index 2a627ad28a..2870068b20 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -268,7 +268,7 @@ def rebase_tree(url): def push_to(url): print("Pushing to %s" % url) if options.mark: - run_cmd("EDITOR=script/commit_mark.sh git commit --amend -c HEAD", dir=test_master) + run_cmd("EDITOR=script/commit_mark.sh git notes edit HEAD", dir=test_master) run_cmd("git remote add -t master pushto %s" % url, show=True, dir=test_master) run_cmd("git push pushto +HEAD:master", show=True, dir=test_master) -- 2.34.1