a git export of monotone history, for posterity