Document what to do in case of inaccessible pull-requests
With this commit we create a new section in the documentation about
troubleshootings in general.
Our first item is what to do when a pull-request becomes inaccessible
because the target branch no longer exists.