Delete Git-GitHub-howto.pdf