[webkit-changes] [WebKit/WebKit] a10d2e: [git-webkit] Support pushing commits to user-speci...

Jonathan Bedard noreply at github.com
Fri Dec 6 20:26:28 PST 2024


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: a10d2e295345449f0213e2141054377d23a6c41f
      https://github.com/WebKit/WebKit/commit/a10d2e295345449f0213e2141054377d23a6c41f
  Author: Jonathan Bedard <jbedard at apple.com>
  Date:   2024-12-06 (Fri, 06 Dec 2024)

  Changed paths:
    M Tools/Scripts/hooks/pre-push

  Log Message:
  -----------
  [git-webkit] Support pushing commits to user-specified remote
https://bugs.webkit.org/show_bug.cgi?id=284149
rdar://141025958

Reviewed by Sam Sneddon.

* Tools/Scripts/hooks/pre-push: Allow pushing to unregistered remotes, so long as we treat
those remotes as public.

Canonical link: https://commits.webkit.org/287491@main



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications


More information about the webkit-changes mailing list