[webkit-changes] [WebKit/WebKit] 8a4162: [git-webkit] Merged PRs are closed

[Jonathan Bedard]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 8a4162f5ff04b0b25e8264e7cad8ddb008518a24
      https://github.com/WebKit/WebKit/commit/8a4162f5ff04b0b25e8264e7cad8ddb008518a24
  Author: Jonathan Bedard <jbedard at apple.com>
  Date:   2022-09-20 (Tue, 20 Sep 2022)

  Changed paths:
    M Tools/Scripts/libraries/webkitscmpy/setup.py
    M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/__init__.py
    M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/remote/git_hub.py

  Log Message:
  -----------
  [git-webkit] Merged PRs are closed
https://bugs.webkit.org/show_bug.cgi?id=245423
<rdar://problem/100169550>

Reviewed by Aakash Jain.

* Tools/Scripts/libraries/webkitscmpy/setup.py: Bump version.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/__init__.py: Ditto.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/remote/git_hub.py:
(GitHub.PRGenerator.PullRequest): Merged PRs are closed.

Canonical link: https://commits.webkit.org/254677@main