Update HowToDevelopWithGithub.md