Sourceforge's Git does not work properly at the moment

... so do not try to push there.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>