try to handle the case if the branch has been remotely deleted in "push"
authorRudolf Polzer <divverent@alientrap.org>
Wed, 28 Apr 2010 14:30:51 +0000 (16:30 +0200)
committerRudolf Polzer <divverent@alientrap.org>
Wed, 28 Apr 2010 14:30:51 +0000 (16:30 +0200)
commita0e309ae13592c3b140c791d8f65c2edadbce220
tree059dfc342f627bcc927f26e701d6a61cb8e87ca7
parent8f10e29d659231bc3ec3896fde9b1322c905ffa7
try to handle the case if the branch has been remotely deleted in "push"
all