Delete 2013-07-19-some-github-tips.md