Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 20 Feb 2023 10:35:21 +0100 (CET)
From:      Gerald Pfeifer <gerald@pfeifer.com>
To:        Rene Ladan <rene@freebsd.org>
Cc:        ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org,  dev-commits-ports-main@freebsd.org
Subject:   Re: git: ae3f7a140c07 - main - cleanup: Remove expired ports:
Message-ID:  <e1baf83d-5db4-9de4-ed9d-42edbb24663b@pfeifer.com>
In-Reply-To: <Y/ICO3gRIfpw6200@freefall.freebsd.org>
References:  <202302142332.31ENWEN4032854@gitrepo.freebsd.org> <3e130e54-a3c1-4ac6-8566-88715b4d99aa@pfeifer.com> <Y/ICO3gRIfpw6200@freefall.freebsd.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Sun, 19 Feb 2023, Rene Ladan wrote:
>> Something like "games/opendungeons: Remove expired port"?
> That's a good point. The rmport script should be easily adaptable to that.

I was going to note that I am not familiar with that script ... only to 
see that you already pushed such a change. :-)

Cool - thank you!

Gerald



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?e1baf83d-5db4-9de4-ed9d-42edbb24663b>