BORS is not syncing

BORS was working perfectly in until it stopped working for reasons I have not been able to understand. I have tried uninstalling and reinstalling bors without any success. And also now the PRs do not appear int he DashBoard. Any suggestions how to proceed?



1 Like

An Travis says:

The command "eval git clone --depth=50 --branch=staging.tmp hgrecco/pint " failed. Retrying, 1 of 3.

Found the cause of your woes (and it has nothing to do with the staging.tmp error):

Notice how refers to an "unknown repository" in GitHub's UI? Bors kinda choked on it. You should probably close it, since it won't be possible to merge it successfully and I'm going to make a patch so that bors can sensibly ignore the malformed PR.

Thanks for the response. It seems to work now. Shouldn’t bors automatically skip this?

I just saw your PR :smiley: