I don't feel too strongly about this so I can change it, but basically I wanted a sensible default (though thinking about it, 30s in combination with remote fetch mode might be too aggressive -- which could imply there is no sensible default possible). But Python's getopt doesn't seem to support optional arguments, so this is how I did that.