When rebasing during push, specify which branch to rebase
authorAndreas Gruenbacher <agruen@suse.de>
Wed, 15 Jul 2009 13:18:18 +0000 (15:18 +0200)
committerAndreas Gruenbacher <agruen@suse.de>
Wed, 15 Jul 2009 13:18:18 +0000 (15:18 +0200)
commit3f5ee87b220a5b81353e6ab98329286649327a24
tree55196925d2bcf23d96b72b2fd62c1d81b4b5020a
parentfa8bbae1d17aefe265563f41fbd48da5452a698e
When rebasing during push, specify which branch to rebase

Otherwise, the HEAD branch would be chosen by default, which is not
always right.
bsgit.py