Salvius is open source, check out the latest code on
Below is my personal pastebin of helpful git commands. Feel free to use them or comment with suggestions.
List all local branches
git branch
List all remote branches
git branch -r
List all local and remote branches
git branch -a
Delete a local branch
git branch -D branch-name
Delete remote branch
git push origin :branch-name
Drop staged changes
git stash
git stash drop
Edit previous commit
git commit --amend -m "New commit message"
Edit previous commit git reset --hard HEAD~1
Abort merge and remove conflict indicators
git merge --abort
Remove all local changes/commits and get a new copy of a branch
git reset --hard origin/master
Merge changes from a remote branch with local without adding a merge commit.
git pull --rebase origin issue_360