Don't need this anymore

Doing github online isn't so bad after all, but it's not as nice.