Clean up github history, revert messy pull request