Re: [PATCH] Documentation/git-push.txt: minor: compress one option
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:45:55
Thanks, queued. This unfortunately missed tonight's integration window and won't appear until I start next round of integration tomorrow evening.