Re: scratch/igc 26ea4b462a0: Fix GTK-related MPS crashes

[Andrea Corallo <acorallo@gnu.org>]

Pip Cet <pipcet@protonmail.com> writes:

> On Thursday, July 11th, 2024 at 02:32, Richard Stallman <rms@gnu.org> wrote:
>> scratch/igc doesn't seem to be a very clear name for ode to work with the MPS
>> garbage collectr. While it is still not installed, is this a good time
>> to rename it to the "MPS gc branch"?
>
> I don't have a strong preference, but I think I'd prefer it if
> extensions to the GC interface that might be useful for other GC
> implementations (and that's most of the changes outside of "igc.c")
> used plain gc_ prefixes. So my proposal would be to rename the branch
> to scratch/mps-gc (or feature/mps-gc), and try to reduce usage of the
> igc identifier (I believe all "mps" identifiers already are isolated
> to igc.c; perhaps that file should be renamed, too).
>
> Gerd, what do you think?
>
> Pip

I agree and suggest as well feature/mps-gc (or feature/mps_gc).  I think
would be more identifiable and as feature branch should get more
visibility and hopefully users testing it.

Bests

  Andrea