Github: Difference between revisions

From DISI
Jump to navigation Jump to search
No edit summary
No edit summary
Line 30: Line 30:
[[Category:Internal]]
[[Category:Internal]]
[[Category:Sysadmin]]
[[Category:Sysadmin]]
[[Category:Developer]]

Revision as of 14:19, 14 February 2014

This page describes how to use github, which is our version control system.

Getting Started

  • Request an account on github. You can request a free one.
  • write to the sysadmins asking to have access to our repositories (see below for a list).

Getting a fresh copy of a repository and starting to use it

Comitting your first change

Best practices for the lab

When and how to branch / merge

When and how to create a new repository

Merging legacy code into github

Backups

Lab repositories

  • docking-org/ZINC