Personal machine configuration

machine.sh

## One-time setup

# Deletes references to remote branches during git fetch
git config --global fetch.prune true

## .bashrc

# Pushes the local branch to origin and makes the local branch track the remote
gpush() {
  git push origin $(git rev-parse --abbrev-ref HEAD) -u
}