GIT

GIT Instructions

Branching

1. git checkout practice
2. git pull
3. git checkout -b new_branch
4. git push -u origin new_branch

Creating Merge Requests

1. Click on Latissimus_Dorsi
2. Select the branch to be merged from the "Branch:" pull down menu
3. Click the "New pull request" button to the right of the "Branch:" pull down menu
4. Click the "base:" pull down menu and select "practice"
5. Be a pal and leave a comment
6. Click the green "Create pull request" button

Misc

• Prune old local branches: git remote prune origin --dry-run
• Delete a local branch: git branch -d the_local_branch