diff options
| author | Andrew Tridgell <tridge@samba.org> | 2010-09-28 11:24:37 -0700 |
|---|---|---|
| committer | Andrew Tridgell <tridge@samba.org> | 2010-09-28 11:36:40 -0700 |
| commit | e257e7a40b0d7d22c3aff2d1f15bb350775dbff3 (patch) | |
| tree | ee7f3dd906a6e86100d3a4d5df377656b6ac5bb7 | |
| parent | 00611cbcf6ea2da2b0b9179c9ef8e3bd27555c5c (diff) | |
| download | samba-e257e7a40b0d7d22c3aff2d1f15bb350775dbff3.tar.gz samba-e257e7a40b0d7d22c3aff2d1f15bb350775dbff3.tar.bz2 samba-e257e7a40b0d7d22c3aff2d1f15bb350775dbff3.zip | |
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!
| -rwxr-xr-x | script/autobuild.py | 2 |
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) |