Don't check for a Github repository, just pull, if the remote is already set.

It eliminates an unnecessary and slow API call for what is by far the
normal case during an update.

There's a bunch of code duplication.  Not sure how to best eliminate it.

For #116