https://github.com/jgcmarins/git-semcomp-beta-2018

Git: from commit to merge
https://github.com/jgcmarins/git-semcomp-beta-2018

2018 beta git icmc semcomp workshop

Last synced: 16 days ago
JSON representation

Git: from commit to merge

• Host: GitHub
• URL: https://github.com/jgcmarins/git-semcomp-beta-2018
• Owner: jgcmarins
• License: mit
• Created: 2018-05-19T13:00:47.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-05-26T15:19:52.000Z (over 6 years ago)
• Last Synced: 2024-10-18T09:51:58.466Z (20 days ago)
• Topics: 2018, beta, git, icmc, semcomp, workshop
• Language: Shell
• Size: 8.96 MB
• Stars: 15
• Watchers: 2
• Forks: 11
• Open Issues: 6

Awesome Lists containing this project