GitHub repository: renatavinhaga/git-semcomp-beta-2018
Description: Git: from commit to merge