github organization pull request not deleted after merge

XMLWordPrintable

      I was expecting that jobs for pull requests are being deleted after merge and/or delete of the branch.

      Even a rescan of the organization did not remove it.

      THX

            Assignee:
            Kohsuke Kawaguchi
            Reporter:
            Thomas Müller
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: