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

From: Matthias Fechner <mfechner_at_freebsd.org>
Date: Sat, 28 Oct 2023 11:21:37 UTC
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.

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