Migrating a repository between owners causes bors to stop working

[frewsxcv]

https://github.com/rust-threadpool/rust-threadpool/pull/83

I see this repository and pull request in the bors.tech dashboard though

[notriddle]

According to a little introspection, bors still thinks the repository is associated with your personal account instead of with the organization. It's getting webhooks, but whenever it tries to authenticate GitHub gives it a "permission denied" error.

You can work around this by uninstalling and reinstalling bors from the Add/remove repositories screen. This issue isn't closed yet, though, since this is obviously still a bug...

[frewsxcv]

Uninstalled and reinstalled, still no luck. I'm cool to just merge for now, but I'm leaving it open just in case it's helpful for you to see what's going on and debug

[notriddle]

I manually deleted the repo from the database, then re-delivered the webhooks. It's running now.

Sorry it worked so terribly. Turns out even trying to remove the repo failed, because (again) the Installation ID changed but the Repository ID did not change.

[khodzha]

seems like bors didnt receive %{"action" => "deleted"} webhook?