Git Mining / Version historyGit Mining · Version historyThis extension helps you find more information about the github repository shown in your browser nowChoose a download version1.1Jun 20, 2018MV2