New command and label for JEPs, similar to CSR

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Fixed
    • Priority: P4
    • 1.0
    • Affects Version/s: None
    • Component/s: bots
    • None

      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.

            Assignee:
            Guoxiong Li
            Reporter:
            Jonathan Gibbons
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

              Created:
              Updated:
              Resolved: