PR !4#18397: chore: Rename `RestrictGenTopology` to `Topo...

Stream: triage

[Random Issue Bot]

Today I chose PR 18397 for discussion!

chore: Rename RestrictGenTopology to Topology.IsRestrictGen
Created by @Yaël Dillies (@YaelDillies) on 2024-10-29
Labels: t-topology, awaiting-zulip

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

This was tagged awaiting-zulip even though there is no relevant discussion on Zulip yet