Goals for this workshop?
What is git?
What is git?
What is git?
also known as
What is git?
What is git?
What is git?
What is git?
We're going to focus on using git through Github.com
What is Github?
it has a cute mascot ->
What is Github?
A repository ("repo" for short) is a collection of files used in a project
What is Github?
We're not going to get to this today
We'll focus on this instead
What is Github?
commits
logs
branches
What is Github?
Issues
Forks
Pull
Requests
What is Github?
Plain text files that get turned into web pages
Style sheets and layouts that make the pages pretty
Settings for the program that makes the web pages
The most recent commit
- deletions
+ additions
Demo
Demo
Demo
Demo
Demo
Demo
Demo
Demo
Demo
---
name: Your Name here
---
# This is a huge heading
## A small heading
- A list
- of many
- items
[A link to a website](http://alliedmedia.org/)
Demo
Demo
Demo
Demo
Demo
Demo
Demo
If a maintainer decides to merge the pull request:
Sometimes it can be merged by just clicking a button!
But if two people tried to change the same thing -- there will be a merge conflict and the maintainer will have to use the command line tool to fix it.