Using git makes revision.py obsolete.