Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci(github-bot): remove up-to-date rule and reword ignore button (#3357)
Related to #3238 (comment) and #3238 (comment) This PR: - remove the requirement `head branch must be up-to-date with its base` - clarify the description of the checkbox used to ignore the bot
- Loading branch information