added old_hg_log.txt for manually mapping hg-rev numbers to git rev numbers