Re: git: 7214ac3a354b - main - cleanup: Remove expired ports:
- In reply to: Matthias Fechner : "Re: git: 7214ac3a354b - main - cleanup: Remove expired ports:"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 28 Oct 2023 11:47:27 UTC
On Sat, 28 Oct 2023, Matthias Fechner wrote: > I'm sorry, I just saw that the script was already approved in the meantime. > I merged the new script with mine to have these changes there also included. Cool, thank you! I was just looking into the script when your mail came in. :-) In case anyone else is interested: commit f08b42fbd9c849b7dcde7a9c23ed4a5025e1b6b9 Author: Rene Ladan <rene@FreeBSD.org> Date: Sun Feb 19 20:37:46 2023 +0100 Tools/scripts: use a port-specific commit message if removing a single port. This helps in `git shortlog`, replacing "cleanup: Remove expired ports" by "category/port: Remove expired port" for a given category and port. Reported by: gerald Gerald