Makesure addtoGitHub is reset to true after a Prg.install().