list of branches isn't updated

[mlubin]

For JuMP (http://jump.readthedocs.org/en/latest/), I recently pushed a branch called release-0.10, but it's not showing up on the list at https://readthedocs.org/dashboard/jump/versions/ so that I can enable docs for this branch. I've rebuilt the docs a number of times and pushed commits using webhooks, but doesn't seem to update the list of branches. Any ideas?

Thanks!

[agjohnson]

This might be another bug with our version parsing, I get a 500 error on your version page.

[agjohnson]

Dug into this a little more, it's a utf8 character in the version name apparently. We don't do a good job of handling utf8 names yet. This is a duplicate of #1410, moving conversation there.

[mlubin]

So is there anything I can do in the meantime? I deleted the branch with unicode characters but the list of branches is still stuck.

[mlubin]

Sorry to bother, but is there anything we can do on our side to get the list of branches working again? We no longer have a branch with UTF-8 characters.

[agjohnson]

There are likely stale branches that need to be removed on our end, we can try to clean those out soon.

[mlubin]

Any way we could get a fix for our repo soon? This issue is preventing us from maintaining separate release and development docs.

[buhtz]

I still don't see this fixed. The list of branches is not updated and there also is no button to trigger this.