Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 8a4162f5ff04b0b25e8264e7cad8ddb008518a24
https://github.com/WebKit/WebKit/commit/8a4162f5ff04b0b25e8264e7cad8ddb008518a24
Author: Jonathan Bedard <[email protected]>
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
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
