Andreas Tille <[email protected]> writes: > While I keep on wondering why you are not pushing to master
I haven't been intentionally pushing to something other than master for a little while. Apparently I've been pushing to a branch called "origin/master". You read that right. The remote branch is called "origin/origin/master". Will look at the other stuff later today.

