In the meantime I upgraded the server from 1.16.1 to 1.17; this at least allowed the push that was blocking earlier to continue.
In the meantime I upgraded the server from 1.16.1 to 1.17; this at least allowed the push that was blocking earlier to continue.