From 1994d9fbb38eb97d958f86b178778d183e3a6c10 Mon Sep 17 00:00:00 2001 From: Malin Freeborn Date: Mon, 27 Apr 2026 12:41:06 +0200 Subject: [PATCH] move git cleanup --- command.rec | 10 ++++++++++ data/git/cleanup.md | 22 ---------------------- 2 files changed, 10 insertions(+), 22 deletions(-) delete mode 100644 data/git/cleanup.md diff --git a/command.rec b/command.rec index be7edd5..1e3004a 100644 --- a/command.rec +++ b/command.rec @@ -448,6 +448,7 @@ shell: sh aim: Email a pull request which points to your git server tag: git +bin: git tag: email tag: pr cmd: repo=ssh://soft.dmz.rs:2222/mkdots/ @@ -456,3 +457,12 @@ cmd: repo=ssh://soft.dmz.rs:2222/mkdots/ + git request-pull "${theirHead}" "${repo}" "${head}" note: You can note where your branch diverged from theirs with a commit hash, + or a relative position, like `HEAD^^` (e.g. 'two commits before your latest'). + +aim: Clean up a bloated git repo +cmd: git fsck --full ++ git gc --prune=now --aggressive ++ git repack +bin: git +tag: maintenance +shell: sh + diff --git a/data/git/cleanup.md b/data/git/cleanup.md deleted file mode 100644 index d5c7748..0000000 --- a/data/git/cleanup.md +++ /dev/null @@ -1,22 +0,0 @@ ---- -title: Clean up a bloated git repo -tags: -- data -- setup -requires: -- data/git.md ---- - - -```sh -git fsck --full -``` - -```sh -git gc --prune=now --aggressive -``` - -```sh -git repack -``` -