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>