Tweak gh-repos script