Pull Request not closed automatically

XMLWordPrintable

    • Type: Bug
    • Resolution: Fixed
    • Priority: P3
    • 1.0
    • Affects Version/s: None
    • Component/s: bots
    • None

      I have a PR on Github which is approved and integrated too. I can see the commit as well in the code base. But it wasn't closed and resolved automatically as per the process. Though there is a button to close it manually but ideally we should not do that. Can someone please help me with this?

      The PR link here : https://github.com/openjdk/jmc/pull/346

            Assignee:
            Erik Joelsson
            Reporter:
            Suchita Chaturvedi
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated:
              Resolved: