Wenn Git eine Fehlermeldung ausgibt, die dieser ähnelt:
Push: failed to push some refs to ’ssh://email@example.com:22/~/repos/primatrainer-android.git‘ refusing to update checked out branch: refs/heads/master. By default, updating the current branch in a non-bare repository is denied, because it will make the index and work tree inconsistent with what you pushed, and will require ‚git reset –hard‘ to match the work tree to HEAD. You can set ‚receive.denyCurrentBranch‘ configuration variable to ‚ignore‘ or ‚warn‘ in the remote repository to allow pushing into its current branch; however, this is not recommended unless you arranged to update its work tree to match what you pushed in some other way. To squelch this message and still keep the default behaviour, set ‚receive.denyCurrentBranch‘ configuration variable to ‚refuse‘.
Dann hilft folgender Handgriff:
- Am Terminal anmelden
- Ins betroffene Git-Repository wechseln
- Die Zeile
git config receive.denycurrentbranch ignoreeingeben