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

From: Matthias Fechner <mfechner_at_freebsd.org>
Date: Sat, 28 Oct 2023 11:11:28 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 use the script to delete ports:

Tools/scripts/rmport

If someone would like to improve the commit message this is a script we 
should touch.

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