"Updating" button is stuck for remote push mirror

This is happening on the CE repository and caused nightly builds not to pick up the latest master:

Should this really be stuck in the "Updating" state?

/cc: @tiagonbotelho, @DouweM, @marin, @grzesiek