Git push does not work through SSH proxy

Symptoms:
builds with merge strategies fail upon push, although the push itself is successful (i.e. data is pushed).
reruns of these builds are successful