Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Github in practice

Github in practice

Talk gave in the Mistis Seminar

Jaime Arias Almeida

February 06, 2017
Tweet

More Decks by Jaime Arias Almeida

Other Decks in Technology

Transcript

  1. GITHUB IN PRACTICE Jaime Arias Inria Grenoble Rhône-Alpes February 2017

    * Figures in this presentation are inspired by the books listed at the end. 1
  2. WHAT IS GIT? Version control system (VCS) for tracking changes

    in computer files and coordinating work on those files among multiple people 2
  3. GITHUB, GITLAB AND COMPANY ≠ Web-based git repository. Provides access

    control and collaboration features (i.e., bug tracking, wiki, task management). 3
  4. DIFF & LOG The diff command shows the changes that

    have been made to the tracked files in the repository since the last commit. The log command shows the commits that have been made so far. 16
  5. UNDO GIT ADD If you've just asked Git to track

    a new file, you can undo the operation by running the reset command. 32
  6. IGNORING FILES For a useful starting point of files to

    ignore, check out gitignore.io 48
  7. FURTHER READING Shaumik Daityari. Jump Start Git: Take Control of

    Your Code and Assets. 2015 Emma Jane Hogbin Westby. Git for Teams: A User-Centered Approach to Creatin Efficient Workflows in Git. 2015 Mike McQuaid. Git in Practice: Includes 66 Techniques. 2015 Git Documentation: https://git-scm.com 52