Uncommented out the GitHub stuff again :-)