`git subtree push` quieting #32

Closed
wants to merge 1 commit into from

3 participants

@boinger

When running git subtree push --prefix /what/ever, the stream of "1/x 2/x 3/x....n/x" noise is not helpful. This patch just quashes that by pushing the stderr of the git subtree split subcommand of cmd_push to /dev/null.

@boinger boinger commented on the diff Feb 7, 2013
contrib/subtree/git-subtree.sh
@@ -703,7 +703,7 @@ cmd_push()
if [ -e "$dir" ]; then
repository=$1
refspec=$2
- echo "git push using: " $repository $refspec
+ echo "git push using: " $repository $refspec
@boinger
boinger added a note Feb 7, 2013

This is the important part.

@boinger The fact that you have to say that indicates that you should split this commit into two commits, one with whitespace fixes and one with content.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
@petervanderdoes

From the README.txt

The user discussion and development of Git take place on the Git
mailing list -- everyone is welcome to post bug reports, feature
requests, comments and patches to git@vger.kernel.org (read
Documentation/SubmittingPatches for instructions on patch submission).

Also the tagline of the repo here says:

Please follow Documentation/SubmittingPatches procedure for any of your improvements.

@elle76 elle76 commented on the diff Mar 9, 2015
contrib/subtree/git-subtree.sh
@@ -703,7 +703,7 @@ cmd_push()
if [ -e "$dir" ]; then
repository=$1
refspec=$2
- echo "git push using: " $repository $refspec
+ echo "git push using: " $repository $refspec
git push $repository $(git subtree split --prefix=$prefix 2>/dev/null):refs/heads/$refspec
else
die "'$dir' must already exist. Try 'git subtree add'."
@elle76
elle76 added a note Mar 9, 2015

7070

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
@gitster gitster closed this Apr 2, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment