Runs then deactivates, clears the GitHub Updater plugin transients.
I'm sorry. If you have a fatal PHP error from switching to the the develop branch, this should clear the issue.
Please let me know if it doesn't.
You should only need to run it once.