From 13d6588bf60f0980ffa3d178441fa707655fee95 Mon Sep 17 00:00:00 2001 From: Josip Sokcevic Date: Mon, 16 Dec 2024 22:30:07 +0000 Subject: gc: Introduce new command to remove old projects When projects are removed from manifest, they are only removed from worktree and not from .repo/projects and .repo/project-objects. Keeping data under .repo can be desired if user expects deleted projects to be restored (e.g. checking out a release branch). Android has ongoing effort to remove many stale projects and this change allows users to easily free-up their disk space. Bug: b/344018971 Bug: 40013312 Change-Id: Id23c7524a88082ee6db908f9fd69dcd5d0c4f681 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/445921 Reviewed-by: Mike Frysinger Commit-Queue: Josip Sokcevic Reviewed-by: Gavin Mak Tested-by: Josip Sokcevic --- man/repo.1 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'man/repo.1') diff --git a/man/repo.1 b/man/repo.1 index bda68c39..1c05dcfc 100644 --- a/man/repo.1 +++ b/man/repo.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man. -.TH REPO "1" "April 2024" "repo" "Repo Manual" +.TH REPO "1" "December 2024" "repo" "Repo Manual" .SH NAME repo \- repository management tool built on top of git .SH SYNOPSIS @@ -79,6 +79,9 @@ Download and checkout a change forall Run a shell command in each project .TP +gc +Cleaning up internal repo state. +.TP grep Print lines matching a pattern .TP -- cgit v1.2.3-54-g00ecf