dr_gonzo

dr_gonzo

Member since: Oct 2014

Recent posts

Post When
I have a public GitHub repository that only a few of us have write access to; IOW, only a few people...

Posted in Details about git history or, how do I preserve the name of a contributor?