diff options
| author | Hauke Mehrtens <hauke@hauke-m.de> | 2023-12-07 21:20:47 +0100 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2024-01-27 14:59:19 +0100 |
| commit | 3042656ee55066ad47e5374685deffb5f44aa8e3 (patch) | |
| tree | 09826f9cbd84e5c9a610b48ea534982c30a7bf4f | |
| parent | dfe0f60ca8a1065e63b4db703b3bd2708ee23a0e (diff) | |
| download | backports-3042656ee55066ad47e5374685deffb5f44aa8e3.tar.gz | |
backports-update-manager: Add option to not update git trees
Add the '--no-git-update which will deactivate updating the git trees.
This can be used in the github actions.
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
| -rwxr-xr-x | devel/backports-update-manager | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/devel/backports-update-manager b/devel/backports-update-manager index 9177be76..815a0421 100755 --- a/devel/backports-update-manager +++ b/devel/backports-update-manager @@ -629,6 +629,8 @@ def _main(): parser.add_argument('--reference', metavar='<path-to-git-obj-dir>', type=str, default=None, help='Override what argument to use to git clone --reference') + parser.add_argument('--no-git-update', const=True, default=False, action="store_const", + help='Don\'t update git trees') args = parser.parse_args() bk_updater = backport_kernel_updater(yes=args.yes or args.force, @@ -649,7 +651,8 @@ def _main(): bk_updater.remove_stale_kernel_dirs() bk_updater.get_backport_pkgs() bk_updater.extract_backport_pkgs() - bk_updater.update_git_trees() + if not args.no_git_update: + bk_updater.update_git_trees() return 0 |