[savannah-help-public] slow push times

[Aharon Robbins]

Hi.

Pushes to the gawk repo on Savannah are taking a long time. It prints
all the numbers quickly, but then takes several minutes to complete.
Any idea what's happening?

Thanks,

Arnold Robbins
Gawk maintainer