I made a couple of mentions today of being unable to push changes in
my working copy of the gretl sources to sourceforge. I've now been
able to push, though I'm sure that everything is back to normal
there. The GUI git interface seems currently slow-to-unusable;
hopefully things will stabilize soon.
Allin