Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: dfc03caa0d839bfcaab0bcb85f17e58ccf9f9286
https://github.com/WebKit/WebKit/commit/dfc03caa0d839bfcaab0bcb85f17e58ccf9f9286
Author: Sam Sneddon <[email protected]>
Date: 2026-05-04 (Mon, 04 May 2026)
Changed paths:
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/remote/git_hub.py
M
Tools/Scripts/libraries/webkitscmpy/webkitscmpy/test/pull_request_unittest.py
Log Message:
-----------
[webkitscmpy] GitHub doesn't support updating PR head
https://bugs.webkit.org/show_bug.cgi?id=309809
rdar://172395889
Reviewed by Jonathan Bedard.
The GitHub REST API does not accept `head` in the body of `PATCH
/repos/{owner}/{repo}/pulls/{pull_number}` per
<https://docs.github.com/en/rest/pulls/pulls?apiVersion=2026-03-10#update-a-pull-request>.
Raise an error if someone tries to change it, allowing head=None
(default) and head=pull_request.head (no-op for compatibility).
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/remote/git_hub.py:
Canonical link: https://commits.webkit.org/312561@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
