[dev] high traffic on hackers@

[Dimitris Papastamos]

The submission script went nuts, will be fixed/capped to
prevent future problems.

Moral of the story: never use git push -f in combination
with pull --rebase :D