Gracefully handle failure to update public repo

Once in a blue moon the public Git repo won't be available to push to.
This is not a fatal error condition and can be safely ignored.