[tor-dev] git-commit-private: preserve the privacy of your working times