It would be convenient to mark a PR as dependent on a JEP being targeted. This would help prevent accidental premature integration, and would also be a clear indication to any reader or Reviewer that the PR is part of an ongoing JEP.
Conceptually, this would be similar to the CSR mechanism.
The command might be `/jep NNNNNNN` where the number is the JEP Issue Number. This would set a label on the PR, and would treat the JEP issue as an integration blocker until the JEP has been targeted.
Conceptually, this would be similar to the CSR mechanism.
The command might be `/jep NNNNNNN` where the number is the JEP Issue Number. This would set a label on the PR, and would treat the JEP issue as an integration blocker until the JEP has been targeted.