noted that github commit history is now the defacto history log.