Re: git: 7214ac3a354b - main - cleanup: Remove expired ports:

Am 29.10.2023 um 14:27 schrieb Rene Ladan:
> Would you mind sharing your changes?

sure, I have many repositories on my system (as I build them with 
poudriere) so I prepared rm scripts for every repository with a specific 
name.
For the gitlab port I use e.g. rmport_gitlab
I have them in a user bin directory:
diff --git a/Tools/scripts/rmport b/usr/home/idefix/bin/rmport_gitlab
index 776f1efcb8c0..d4926f40f753 100755
--- a/Tools/scripts/rmport
+++ b/usr/home/idefix/bin/rmport_gitlab
@@ -37,9 +37,9 @@
  # MAINTAINER= crees@FreeBSD.org
  #

  EDITOR=${EDITOR:-/usr/bin/vi}
-PORTSDIR=${PORTSDIR:-/usr/ports}
+PORTSDIR=${PORTSDIR:-/usr/home/idefix/git/gitlab.fechner.net/GitLab}
  INDEX=${PORTSDIR}/$(make -C ${PORTSDIR} -V INDEXFILE)

  TODAY=$(date -u +%Y-%m-%d)

And I use the script that matches the repository I currently work in.

Gruß
Matthias

-- 

"Programming today is a race between software engineers striving to
build bigger and better idiot-proof programs, and the universe trying to
produce bigger and better idiots. So far, the universe is winning." --
Rich Cook