Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: 15bdd42ec40b5b904e51414c97514808cf7f2c19 https://github.com/WebKit/WebKit/commit/15bdd42ec40b5b904e51414c97514808cf7f2c19 Author: Kimmo Kinnunen <kkinnu...@apple.com> Date: 2023-06-01 (Thu, 01 Jun 2023)
Changed paths: M Tools/Scripts/update-angle Log Message: ----------- The update-angle script does not support updating to arbitrary commits https://bugs.webkit.org/show_bug.cgi?id=257526 rdar://110049344 Reviewed by Dan Glastonbury. Add support for merging to a specific commit instead of merging only to origin/main. If main has a problematic commit, a commit before that can still be merged. * Tools/Scripts/update-angle: Canonical link: https://commits.webkit.org/264811@main _______________________________________________ webkit-changes mailing list webkit-changes@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-changes