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