Git Migration: github with svn access

[Geert Janssens]

On zaterdag 12 november 2011, Yawar Amin wrote:
> Hi Geert, run:
> 
> git push origin :master
> 
> This pushes an empty branch name (the part before the colon) from your
> local repo to the master branch of the origin repo, effectively deleting
> it.

Wow, not exactly the most intuitive command choice by our great Linus. 
Mathematically it does make sense of course... ;)

Thanks for clarifying this.

I did remove the master branch for now.

Geert