I pushed a new version of my plugin to GitHub, but the Extension Manager in the admin does not notify of a new version or show an Update button. Is there a way I'm supposed to flag new versions so that the Extension manager will pick it up... or do I have to just wait for a period of time for it to poll all the repos?
I have updated the version date in the plugin.info.txt file and on the Dokuwiki website's plugin info page about it.
EDIT: I read that it only checks for updates once a day. Any method to force an Update Check?