Support / in pull base to indicate different repo

Adds support for format like, 'pull upstream/repo'

Even though 'pull upstream:repo' currently works, the / is more natural. : is
just GitHub's URL convention.