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

From: Gerald Pfeifer <gerald_at_pfeifer.com>
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