Add git push.default = current
Fixed bug in git branch detection on detached head
Merge branch 'master' into imo-desk