gitextensions/gitextensions — pull request #1618 by mdonatas (2013-02-16 15:41:34+00:00)
Title: Fix push to remote error when local tag has the same name as the branch

Fixes issues #1543 and #1551