> [...] due to the considerable amount of time needed to push to the > registry (up to 20 minutes! – generally more in the 2 to 5 minutes).
Something is seriously messed up. On my setups, even big images don't take more than a minute maximum.
Have you tried manually pushing a docker image from one of the hosts?