Restore HowToDevelopWithGithub.md from an old commit performed in server