PyPy repository push taking forever (BB-3487)
The main PyPy repo (/pypy/pypy) is taking a lot of time to push to. It's 15s-2min. Given fast pace of pypy development this creates endless push-fail-because someone else pushed, pull merge, try again, fail...
Is there anything that can be done or does it have to stay that way?