Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 967fe34df0a86e75213e4935f9368f93b8b8b580
https://github.com/WebKit/WebKit/commit/967fe34df0a86e75213e4935f9368f93b8b8b580
Author: Aakash Jain <[email protected]>
Date: 2025-07-15 (Tue, 15 Jul 2025)
Changed paths:
M Tools/CISupport/ews-app/ews/common/github.py
A
Tools/CISupport/ews-app/ews/migrations/0010_rename_pr_id_change_pr_number.py
M Tools/CISupport/ews-app/ews/models/build.py
M Tools/CISupport/ews-app/ews/models/patch.py
M Tools/CISupport/ews-app/ews/views/results.py
Log Message:
-----------
[ews] Rename pr_id to pr_number
https://bugs.webkit.org/show_bug.cgi?id=295712
Reviewed by Jonathan Bedard.
In ews-app and ews-build we use two different variable names pr_id and
pr_number in
various places to refer to one thing, GitHub PR number. We should consolidate
them.
pr_number is more appropriate variable name for this, since it's not a unique
id,
and GitHub also refers to it as PR number in its documentation/API.
* Tools/CISupport/ews-app/ews/common/github.py:
* Tools/CISupport/ews-app/ews/models/build.py:
* Tools/CISupport/ews-app/ews/models/patch.py:
* Tools/CISupport/ews-app/ews/views/results.py:
* Tools/CISupport/ews-app/ews/migrations/0010_rename_pr_id_change_pr_number.py:
Added migration file.
Canonical link: https://commits.webkit.org/297396@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
