We have a number of source repositories set up to sync with Github. They work fine for a few weeks to a couple of months but invariably they just stop syncing. Some are able to be resumed by performing a manual sync and at other times the only way to...