git/git — pull request #32 by boinger (2013-02-07 23:50:05+00:00)
Title: `git subtree push` quieting

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.