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

From: Rene Ladan <rene_at_freebsd.org>
Date: Sun, 29 Oct 2023 12:27:54 UTC
On Sat, Oct 28, 2023 at 02:21:37PM +0300, Matthias Fechner wrote:
> Dear Gerald,
> 
> Am 28.10.2023 um 14:04 schrieb Gerald Pfeifer:
> > Would you mind using a more telling subject / first line of the commit
> > message like others?
> > 
> > For example
> > 
> >    devel/gitlab-metrics-exporter: Remove expired port
> > 
> > or
> > 
> >    cleanup: Remove expired port: devel/gitlab-metrics-exporter
> 
> 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.
> 
Would you mind sharing your changes?

Regards,
René

> 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