Dataset download: http://www.semangit.de/#downloads
Tools download: https://github.com/SemanGit/SemanGit