Thanks for your help, and for HyperDev which is really cool!
Ok, so I delete the oauth permissions for HyperDev. Then I logout of hyperdev, log back in and I get this:
Apparently having no other choice, I agree. Then I try to export to github and the only error message I get is “Arg, something went wrong. Try again? ;@” in a bubble in the upper right corner of the screen. Can’t find any log messages or anything else to indicate what the problem might be.
I also tried importing my hyperdev-test repo, then exporting it after making a trivial change. The import succeeed, but again the export failed.
The security log doesn’t show anything except oauth_authorization.create OAuth application (HyperDev) (no failures)
I’m sure I’m typing the repo string properly (rjstone/hypedev-test) because I was able to import using that.
I just don’t know what else to try. Wish the error message were more descriptive…