pr/XXX branch is not recreated after /open

XMLWordPrintable

    • Type: Bug
    • Resolution: Not an Issue
    • Priority: P4
    • None
    • Affects Version/s: None
    • Component/s: bots
    • None

      Noticed on: https://github.com/openjdk/jdk21u-dev/pull/1660

      After 8 weeks it got closed https://github.com/openjdk/jdk21u-dev/pull/1660#issuecomment-2963310939 and its branch pr/1660 got deleted.
      So I have submitted /open which did reopen the pull request but the branch pr/1660 has not been recreated. At least not after 25 minutes which I have created it manually.

            Assignee:
            Unassigned
            Reporter:
            Jan Kratochvil
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated:
              Resolved: