Add syntax for discrepancy between local and remote branch names on push. This resolves #28