Undo all changes we made to the fork by doing git reset --soft 303242b3ecb013a38d6e5d067808601d5062c4ea.