A little test to see if github redirects from a renamed repository