Distributed version control with git
Git is the most widely used free software distributed version control system. The workshop introduces different use cases for distributed version control systems in general, and shows example workflows to encounter these use cases. The major part of the workshop covers hands-on experience, git repositories are created, modified, pushed, pulled and branched. Finally some platforms for publishing git repositories are addressed.