Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
bots: Handle 'fork_collab' GitHub permissions failure
The bots may not have permission to set maintainer_can_modify on certain pull requests. Retry without it when we get that failure.
- Loading branch information