Git: Add grs.

This commit is contained in:
Dmitry Voronin 2024-10-18 14:44:50 +03:00
parent 1ed85b0f0f
commit caeae2ace2
Signed by: voronind
SSH key fingerprint: SHA256:3kBb4iV2ahufEBNq+vFbUe4QYfHt98DHQjN7QaptY9k

View file

@ -126,6 +126,12 @@
git apply --index "''${@}" git apply --index "''${@}"
} }
# Unstage changes.
# Usage: grs <FILES>
function grs() {
git restore --staged "''${@}"
}
# Run git garbage collection. # Run git garbage collection.
function ggc() { function ggc() {
git gc --aggressive --no-cruft --prune=now git gc --aggressive --no-cruft --prune=now