PullRequestEvent does not queue issues
geneh opened this issue · comments
Github issues are also pull requests. In fact, some data, such as labels, appears only issues.
That's why when a PullRequestEvent comes in, an issue has to be queued in addition to queueing a pull request.