git: Don't swallow all push output

[jerry-skydio]

In certain situations "git push" will need to auth interactively. However
we don't show the user any output from git push because of github's automatic
"create a pr test" that is generally not what we want since revup handles pr
creation. This does make these auth situations confusing though.

Instead of hiding all output, default to showing output except for lines prefixed
with "remote:" which will get hidden.

Topic: outpush3
Closes: #33
Reviewers: aaron, brian-k

[jerry-skydio]

Reviews in this chain:
└#204 git: Don't swallow all push output

[jerry-skydio]

#	head	base	diff	date	summary
0	7c4cf4bd	c7b92e83	diff	Dec 28 16:24 PM	2 files changed, 20 insertions(+), 6 deletions(-)
1	e56d1346	c7b92e83	diff	Dec 28 16:25 PM	0 files changed
2	0098043c	c7b92e83	diff	Dec 28 16:27 PM	1 file changed, 1 insertion(+)
3	acb406f3	c7b92e83	diff	Dec 28 16:54 PM	0 files changed
4	ac7d6e6f	4a14bbd9	diff	Dec 28 16:55 PM	1 file changed, 10 deletions(-)
5	8f309fa9	bdffc6d6	rebase	Dec 28 16:57 PM	0 files changed
6	0098043c	c7b92e83	diff	Dec 28 17:20 PM	0 files changed
7	f3377dfa	c7b92e83	diff	Dec 28 17:34 PM	1 file changed, 1 insertion(+), 1 deletion(-)
8	8167610f	159f964c	diff	Jan 2 12:00 PM	1 file changed, 3 insertions(+), 3 deletions(-)
9	df699bf5	ea26a45d	diff	Jan 2 12:34 PM	1 file changed, 3 insertions(+), 1 deletion(-)

[aaron-skydio]

Seems reasonable. I guess we'll hide other things github might say, like I think it'll tell you about branch protection settings and such if you can't force push?, but that's probably ok.

Some alternatives are maybe to print the whole thing if the push fails, which I think we aren't doing based on my read, or to explicitly filter only the bit suggesting you open a PR, which would be brittle

[jerry-skydio]

added something to also printout the output if running with --verbose, i think that handles the same need as "print the whole thing if the push fails" but is simpler