This repository was archived by the owner on Jul 24, 2024. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci(bors): set update_base_for_deletes (#17410)
From the source, this doesn't do anything to the git history, but does prevent chained PRs being closed after bors closes the first one. This still doesn't work very well for us, but it's better than randomly closing PRs that haven't been merged.
- Loading branch information