When the port is unmaintained, it will probably break quickly. For example, the builder is red right now, because new Wasm instructions were added earlier today that would need to be ported. There's no point in keeping broken code around, so an unmaintained port should be deleted. *If* anyone later wants to resurrect it for any reason, they can always go back in the git history to find it.
Deleting the code is not urgent, especially as long as it's still being tested and still works. Even when the builders are removed, we can still give it a grace period (something like 1-3 months, maybe?) and delete it if no other maintainers step up during this time. If you could submit a CL to delete it, that'd be great. Please keep sending announcements to this list when the official status changes, e.g. when "we plan to give up maintaining the mips32 platform" turns into "we have now stopped maintaining mips32, and the code will be deleted in 2 months if nobody steps up to maintain it". On Mon, May 30, 2022 at 11:01 AM Liu Yu <[email protected]> wrote: > Hi, > > It's up to the v8 team. Do you think the code of mips32 should be removed? > And would you like us to remove the code or do it yourself? > 在2022年5月27日星期五 UTC+8 15:00:03<Michael Achenbach> 写道： > >> Hi! >> >> Removing the builders is a trivial task on our end (currently they are >> still green >> <https://ci.chromium.org/p/v8/builders/ci/V8%20Linux%20-%20mipsel%20-%20sim>). >> Will the port be removed from V8 code as well if it becomes unmaintained? >> >> Cheers >> Michael >> >> On Tue, May 24, 2022 at 11:07 AM Liu Yu <[email protected]> wrote: >> >>> Hi, >>> Due to the lack of physical machines, we plan to give up maintaining the >>> mips32 platform of v8. >>> If anyone still needs mips32, welcome to maintain it continue. >>> Otherwise we will apply to remove it from CI. >>> >>> -- >> >> -- -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev --- You received this message because you are subscribed to the Google Groups "v8-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/v8-dev/CAKSzg3QJt2idKthrZth6NM3dRHwuXNXm%3DvtS1gu%3D01%3DfERXK%3DA%40mail.gmail.com.
