mirror of
https://github.com/samba-team/samba.git
synced 2024-12-22 13:34:15 +03:00
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!
This commit is contained in:
parent
00611cbcf6
commit
e257e7a40b
@ -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)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user