CRUX

I need the following patch for my /etc/ports/drivers/git.
Could this be considered, it does not hurt and gives plenty of fun :o)

--- a/kent.local/media/btrfs-master/crux-3.6/kent/root/etc/ports/drivers/git
+++ b/kent.local/media/btrfs-master/crux-3.6/kent/root/etc/ports/drivers/git
@@ -39,12 +39,9 @@ if [ $? -lt 1 ]; then
git diff --pretty=format: --name-status "$BRANCH" origin/"$BRANCH" | sed "s/M\t/ Edit /g; s/A\t/ Checkout /g; s/D\t/ Delete /g" | sort
git clean -q -f
git reset -q --hard origin/"$BRANCH"
- gc=
else
git clone -q -b "$BRANCH" "$URL" "$REPOSITORY"
ls -1 $REPOSITORY | sed "s/^/ Checkout /"
- gc=--aggressive
fi
-git gc --quiet $gc --prune=all

echo "Finished successfully"