Don’t delete repos when GitHub tokens are exhausted
Created by: ryanslade
When the number of GitHub tokens are exhausted and we attempt to perform a sync the repo is soft deleted.
We should instead treat this as a soft failure and try again later.
Related incident: https://docs.google.com/document/d/1dtrOHs5STJYKvyjigL1kMm6u-W0mlyRSyVxPfKIOfEw/edit#bookmark=kix.ria6dd5pj5wp