Re: git: ae3f7a140c07 - main - cleanup: Remove expired ports:

On Sun, Feb 19, 2023 at 01:17:14AM +0100, Gerald Pfeifer wrote:
> On Tue, 14 Feb 2023, Rene Ladan wrote:
> > URL: https://cgit.FreeBSD.org/ports/commit/?id=ae3f7a140c07b59abd7f2aaa7db787284a9a70e7
> > 
> >     cleanup: Remove expired ports:
> >     
> >     2023-02-14 games/opendungeons: Broken for more than 6 months
> 
> Picking a random example: Can we please use a more descriptive (and 
> differentiated) subject for such cases?
> 
> Something like "games/opendungeons: Remove expired port"?
> 
That's a good point. The rmport script should be easily adaptable to that.

> That's much more helpful when it comes to `git shortlog` than hundreds
> of "cleanup: Remove expired ports:".
> 
Ah yes.

> It also is quite more in line with our guidelines where, if possible,
> the affected port, is listed at the beginning of the first line of the
> log.
> 
> Thanks,
> Gerald

Regards,
René