Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 052c4c37d40f04042013f66db2bd09c63efdce28
https://github.com/WebKit/WebKit/commit/052c4c37d40f04042013f66db2bd09c63efdce28
Author: Jonathan Bedard <jbed...@apple.com>
Date: 2023-10-31 (Tue, 31 Oct 2023)
Changed paths:
M Tools/Scripts/libraries/webkitscmpy/setup.py
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/__init__.py
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/pull_request.py
Log Message:
-----------
[git-webkit] Allow for re-running pre-pr checks
https://bugs.webkit.org/show_bug.cgi?id=242536
rdar://97093963
Reviewed by Dewei Zhu.
In webkit-patch, contributors could modify their patch after the style-checker
ran but before the change was uploaded. git-webkit should support a similar
functionality when running pre-pr checks.
* Tools/Scripts/libraries/webkitscmpy/setup.py: Bump version.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/__init__.py: Ditto.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/pull_request.py:
(PullRequest.pre_pr_checks): If a pre-pr check fails, offer to re-run the
check and if possible, add any modified files to the most recent commit.
(PullRequest.create_pull_request): Pass --no-add onto pre_pr_checks.
Canonical link: https://commits.webkit.org/270007@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
