You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Creating a pull request directly means that it's less convenient to make changes as the issue/PR mechanism that we have in place would create merge conflicts with the pull request. A better workflow could perhaps be:
Report all specs to monitor in an issue with checkboxes.
Review specs to monitor, check those that look correct as is
Handle manual updates in separate issues/PRs
Tell bot to create a PR that bumps the review date for all checked specs
The text was updated successfully, but these errors were encountered:
Via #1477 (comment)
Creating a pull request directly means that it's less convenient to make changes as the issue/PR mechanism that we have in place would create merge conflicts with the pull request. A better workflow could perhaps be:
The text was updated successfully, but these errors were encountered: