Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
remove deprecated upgrade script #1282
Our upgrade script did two things, both of which are now unsupported and broken:
For now we are not going to salvage the upgrade tool and will delete it.