Date: Sat, 28 Oct 2023 13:47:27 +0200 (CEST) From: Gerald Pfeifer <gerald@pfeifer.com> To: Matthias Fechner <mfechner@freebsd.org> Cc: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: Re: git: 7214ac3a354b - main - cleanup: Remove expired ports: Message-ID: <b32dc3a9-7f70-3f1d-b0e4-93395f30b332@pfeifer.com> In-Reply-To: <3b6d4219-9bb5-4372-91ce-cc46f014b278@freebsd.org> References: <202310060803.39683UfW059863@gitrepo.freebsd.org> <4148f19f-a083-9f4c-920f-d848d527f259@pfeifer.com> <3b6d4219-9bb5-4372-91ce-cc46f014b278@freebsd.org>
index | next in thread | previous in thread | raw e-mail
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
home |
help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?b32dc3a9-7f70-3f1d-b0e4-93395f30b332>