Separately to this, but related in terms of what I'm trying to do. I have not been able to refresh extras-devel on my device in the last couple of days.
Extras-testing is fine. Other people have already picked up the update to witter that I uploaded. but for some reason I am consistently failing to refresh that catalog.

Anyone else having trouble?