Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: bdb212d5fe625542d0549f14b7c4d578a919d88a
https://github.com/WebKit/WebKit/commit/bdb212d5fe625542d0549f14b7c4d578a919d88a
Author: Jonathan Bedard <[email protected]>
Date: 2022-12-07 (Wed, 07 Dec 2022)
Changed paths:
M Tools/Scripts/libraries/webkitscmpy/setup.py
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/__init__.py
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/local/git.py
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/checkout.py
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/pull.py
Log Message:
-----------
[git-webkit] Prune remotes when fetching
https://bugs.webkit.org/show_bug.cgi?id=247620
rdar://102090699
Reviewed by Elliott Williams.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/local/git.py:
(Git): Add an auto-prune option.
(Git.checkout): Add prune argument.
(Git.fetch): Add prune argument, use config default if not specified.
(Git.pull): Ditto.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/checkout.py:
(Checkout.parser): Add --prune argument.
(Checkout.main): Pass prune argument to 'checkout'.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/pull.py:
(Pull.parser): Add --prune argument.
(Pull.main): Pass prune argument to 'checkout'.
Canonical link: https://commits.webkit.org/257514@main
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
