# Pull from remote. Performs a `git fetch` and fast-forwards the local branch
# named in $argv[1] (or the working branch, if no argument is passed).
#
# Usage:
# `pull` to fast-forward working branch
# `pull branchname` to fast-forward chosen branch