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.