summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscript/autobuild.py2
1 files changed, 1 insertions, 1 deletions
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)