The utility supports a timestamp parameter, but it's not clear how to specify it in the git configuration so that it's used. How do we specify the timestamp server to use?