The document provides an introduction to Git, a distributed revision control system, detailing its basic functionalities such as tracking changes, managing files, and collaborating with remote repositories on GitHub. It outlines the steps for setting up Git, including configuring user settings and establishing SSH keys, as well as a typical workflow for initiating, modifying, and pushing updates to a repository. Further, it discusses managing multiple committers and highlights processes for pulling updates from remote repositories.

1. Git and GitHub.com

2. Git 101 Git is a distributed revision control system Keeps track of changes made to one or more files over time Shows log messages of what changed and why Allows developers to share their changes easily

3. Git Project Sections Source: http://progit.org/book/ch1-3.html

4. Git workflow Modify Files Stage Files Commit Files

5. Installing Git Covered in detail at http://progit.org/book/ch1-4.html

6. Initial Setup git config --global user.name “John Doe” git config --global user.email [email_address] git config --global core.editor emacs By default, it uses GIT_EDITOR, VISUAL or EDITOR Environment variables Other editors are vi, mate -m, nano, etc git config --list Shows your git settings See http://progit.org/book/ch1-5.html for more

7. Getting help Most Git commands have help available git help commit git help branch git help tag

8. Getting started with Git mkdir project_name cd project_name git init echo “Hello” >> README git add README git commit -m ‘Initial commit’

9. Getting started Lab Create a new directory Initialize git Create/Edit a file Add/Stage that file Commit the stage to your local repo Repeat

10. Working with remote repos Public Repo Located on Server (Github) Private Repo Located on your local machine git pull git push

11. Signup with Github https: //github .com/signup/free You can skip SSH Public Key, we’ll come back to it

12. Setup SSH Keys ssh-keygen -d

13. Setup local SSH config If you don’t use your “default” ssh key for GitHub, you need to tell SSH to use your Github key

14. Add SSH Key to GitHub https://github.com/account

15. Create my_project repo (on Github.com) https://github.com/

16. Add your pair to my_project repo (on Github.com) Click the Edit button or go to https://github.com/your-user-name/my_project/edit We’ll use this later

17. Add remote repo to your local repo cd my_project git remote add origin git@github.com:your-user-name/my_project.git git push origin master “ origin” is configurable name “ origin” is convention for GitHub View changes at http://github.com/your-user-name/my_project

18. Remote repos process Public Repo Located on Server (Github) Private Repo Located on your local machine git push Make file changes Stage Changes Commit Changes git add filename git commit -m ‘…’ vi filename

19. Commit changes and push to remote repo cd my_project echo “bye” >> README git add README git commit -m ‘Added bye to README’ git push origin master OR git push View changes at http://github.com/your-user-name/my_project

20. Lab with remote repos (on Github.com) Modify file locally Add/Stage that file to the commit Commit your changes Push those changes to GitHub

21. Remote repos process (multiple committers) Public Repo Located on Server (Github) Private Repo Located on your local machine 1) git push Make file changes Stage Changes Commit Changes git add filename git commit -m ‘…’ vi filename Bob’s Private Repo Located on Bob’s local machine 2) git pull

22. Remote repos process (multiple committers) Public Repo Located on Server (Github) Private Repo Located on your local machine 2) git pull Bob’s Private Repo Located on Bob’s local machine Make file changes Stage Changes Commit Changes git add filename git commit -m ‘…’ vi filename 1) git push

23. Pull commits from remote repo cd my_project git pull origin master OR git pull

24. Lab with remote repos (on Github.com) User A Modify file locally Add/Stage that file to the commit Commit your changes Push those changes to GitHub User B Pull those changes from GitHub