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: 7 months 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 7 years ago)
• Default Branch: master
• Last Pushed: 2018-05-26T15:19:52.000Z (over 7 years ago)
• Last Synced: 2025-04-30T03:39:18.113Z (7 months ago)
• Topics: 2018, beta, git, icmc, semcomp, workshop
• Language: Shell
• Size: 8.96 MB
• Stars: 15
• Watchers: 1
• Forks: 11
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# git-semcomp-beta-2018

Git: from commit to merge

Olá Semcomp Beta