update timestamp in knowgit.py