Created
March 10, 2015 19:39
-
-
Save jduck/db32fb7c6bf23630bec2 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/project.py b/project.py | |
| index 8b02b7c..890de8c 100644 | |
| --- a/project.py | |
| +++ b/project.py | |
| @@ -1878,6 +1878,7 @@ class Project(object): | |
| ssh_proxy=ssh_proxy) | |
| ret = gitcmd.Wait() | |
| if ret == 0: | |
| + print(gitcmd.stderr, file=sys.stderr) | |
| ok = True | |
| break | |
| # If needed, run the 'git remote prune' the first time through the loop |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This patch is obsolete as a nearly equivalent change was introduced in e30f46b957c9c192f09a4907e3e7e802c9b782f8 (https://gerrit.googlesource.com/git-repo/+/e30f46b957c9c192f09a4907e3e7e802c9b782f8)