Open
Description
The changes suggested in the issue would be implemented elsewhere, but I'm filing here to discuss.
Draft PRs didn't exist on GitHub when the export systems were created. The benefit of using draft PRs would be:
- Easier to filter out PRs that aren't intended for review using
-is:draft
, which would also included draft PRs in this repo. Currently the query to exclude exports involves 3 labels and without a link to a query takes some time to construct. - For PRs corresponding to ongoing upstream reviews, it's an accurate description of the state of the changes.