Remove the need to type `JEP-` or `jep-` prefix in `jep` command

XMLWordPrintable

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

      Reported by Mark at https://mail.openjdk.java.net/pipermail/skara-dev/2022-April/005961.html :

      People most commonly refer to JEPs by JEP numbers rather than JBS issue
      numbers. I’d therefore expect to be able to type `/jep 123` rather than
      have to remember to type `/jep JEP-123`, especially since the `JEP-123`
      notation isn’t used in any other context.

      Can you please remove the need to type the `JEP-` prefix?

            Assignee:
            Guoxiong Li
            Reporter:
            Guoxiong Li
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: