[webkit-changes] [WebKit/WebKit] 8e68ac: [GTK][WPE] Wrong WebKit version recorded on the Mi...

Carlos Alberto Lopez Perez noreply at github.com
Wed Feb 22 04:37:09 PST 2023


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 8e68aca2bb75ec8265a76b2681f10d2c5107b126
      https://github.com/WebKit/WebKit/commit/8e68aca2bb75ec8265a76b2681f10d2c5107b126
  Author: Carlos Alberto Lopez Perez <clopez at 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




More information about the webkit-changes mailing list