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!

diff --git a/script/autobuild.py b/script/autobuild.py
index 2a627ad28a08e627d9307c5d5a04b8dad418aa1a..2870068b20913694024512035bd2b7f154099ac2 100755 (executable)
--- 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)