mirror of
https://github.com/samba-team/samba.git
synced 2024-12-22 13:34:15 +03:00
autobuild: override the editor when marking the commit
this avoids the problem of a user having an editor set in their global .gitconfig, and that having higher precedence than the EDITOR environment variable Autobuild-User: Günther Deschner <gd@samba.org> Autobuild-Date: Sun Oct 3 15:22:01 UTC 2010 on sn-devel-104
This commit is contained in:
parent
120f5ee429
commit
4b16cc9eef
@ -289,7 +289,8 @@ 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("git config --replace-all core.editor script/commit_mark.sh", dir=test_master)
|
||||
run_cmd("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)
|
||||
|
Loading…
Reference in New Issue
Block a user