If a source repository is deleted or made inaccessible, the merge
request should still be workable. Indicate that the source repository is
not available by using an `Option<Repo>` for the source repository. The
`reformat` action now gains a new error cases and tests for them.

Note that GitLab is odd and requires a source repository for the merge
request to generally be useful.