Git

Git is a popular, modern version control system used by Linux and many many other other open-source projects.

Some git hints.

Make a branch and switch to it

git checkout -b newbranchname

Switch to another (existing) branch

git checkout somebranch

Delete a branch

git branch -d branchname

Delete a branch with impunity

git branch -D branchname

Push your changes (committed)

git push

Show the "remote" upstream. This is the target of git push

git remote -v