Collaborating with github
=========================

Objectives
----------

- Understand git remotes;
- Fork, clone and push from/to github;
- Open a PR and understand the review process.

Plan
----

- Discuss how we will now look at collaborating using git: this essentially
  corresponds to branching where different individuals use different branches.
  Github is a service that makes this easier. (Possibly mention other services:
  gitlab, bitbucket etc...).
- Demo the fork;
- Demo the clone;
- Demo modifying a file (point at extra/markdown);
- Demo the commit;
- Demo pushing: discuss that it's actually possible to have many remotes
  (`origin`/ `upstream`).
- Demo opening the PR and discuss PR message.
- Review PRs.
- Possibly discuss other useful github features such as issues, etc...

FAQ
---