Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 8e68aca2bb75ec8265a76b2681f10d2c5107b126
https://github.com/WebKit/WebKit/commit/8e68aca2bb75ec8265a76b2681f10d2c5107b126
Author: Carlos Alberto Lopez Perez <clo...@igalia.com>
Date: 2023-02-22 (Wed, 22 Feb 2023)
Changed paths:
M Tools/glib/apply-build-revision-to-files.py
Log Message:
-----------
[GTK][WPE] Wrong WebKit version recorded on the MiniBrowser of the
built-products generated on the bots.
https://bugs.webkit.org/show_bug.cgi?id=252720
Reviewed by Carlos Garcia Campos.
The bots don't update the git repository by doing a standard pull.
They checkout a specific commit (FETCH_HEAD) after fetching the repo.
So instead of looking for the commit at origin/HEAD we should look
at HEAD which matches what is currently checked out.
* Tools/glib/apply-build-revision-to-files.py:
(get_revision_from_most_recent_git_commit):
Canonical link: https://commits.webkit.org/260673@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
