move git cleanup

This commit is contained in:
2026-04-27 12:41:06 +02:00
parent cc811fc025
commit 1994d9fbb3
2 changed files with 10 additions and 22 deletions

View File

@@ -448,6 +448,7 @@ shell: sh
aim: Email a pull request which points to your git server aim: Email a pull request which points to your git server
tag: git tag: git
bin: git
tag: email tag: email
tag: pr tag: pr
cmd: repo=ssh://soft.dmz.rs:2222/mkdots/ 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}" + git request-pull "${theirHead}" "${repo}" "${head}"
note: You can note where your branch diverged from theirs with a commit hash, 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'). + 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

View File

@@ -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
```