Gregor Martynus

Thanks Wei! Could you check if the installation (id: `5701088`) has indeed been removed? Did you try to re-run the build? It might be worth adding a check in case...

Okay, I agree we should handle that error better. I would suggest we check if the installation still exists in case of a 404, in case it doesn't, do nothing

hey @wei would you like to send a PR for this change?

no rush, it seems like you are the only one affected so far. I guess your pull app is just much more popular than our apps :D

ping 👆 just wanted to submit the same PR :)

By the way I'm a maintaner at https://github.com/probot/probot and the JavaScript/Node tools at https://github.com/octokit/, if you have any questions or ideas you would like to discuss regarding integrating with any...

`on: push` will not work for pull requests coming from forks Basically you have to make it work without requiring a GitHub token, as repository secrets are not passed to...

hey just a heads up: `fetch-mock` will start failing with the upcoming `node-fetch` version, which will be a native ES Module. You can test it today by installing `node-fetch` with...

Oh I think I get it, there might be a case when an operation is removed in a path, in which case we would get ``` paths.changed.paths["/app"].operations_removed.get ``` but I...

I think it would be easier to grasp if you all three of `paths.{added,changed,removed}` had the same format as `paths` in the source/target OpenAPI files (`paths[path][method]`), that way it's clear...