"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
Edited by Stan Hu