git: push workarounds

Push by default to remote branch with current name