diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/autobuild.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 62cef691973..f1e29a7a83b 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -270,7 +270,9 @@ def rebase_tree(url): def push_to(url): print("Pushing to %s" % url) if options.mark: - run_cmd("EDITOR=script/commit_mark.sh git notes edit HEAD", dir=test_master) + run_cmd("EDITOR=script/commit_mark.sh git commit --amend -c HEAD", dir=test_master) + # the notes method doesn't work yet, as metze hasn't allowed refs/notes/* in 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) |