In fact, that's not me who did this, so I can't be sure what exactly he
did. He had master and devel branches. He rebased devel onto master branch
and did `git push -f`. Supposedly, push.default was set to matching and
both branches were pushed. But now in the remote repository master is
for the top post]
- Original Message -
From: Yuri Kanivetsky
To: git-users@googlegroups.com
Sent: Thursday, March 13, 2014 9:51 PM
Subject: [git-users] How come forced push resulted in other branch being
moved back?
In fact, that's not me who did this, so I can't be sure what
yuri.kanivet...@gmail.com
*To:* git-users@googlegroups.com
*Sent:* Thursday, March 13, 2014 9:51 PM
*Subject:* [git-users] How come forced push resulted in other branch
being moved back?
In fact, that's not me who did this, so I can't be sure what exactly he
did. He had master and devel branches. He