changed specific mention of github to more general remote repository