spdr870/gitextensions — pull request #714 by jbialobr (2011-11-16 11:49:16+00:00)
Title: IsPushedToRemote

Corrected remote branch name.
Let me know if someone know If there is a git command that returns remote tracking branch name for local branch.