[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: scratch/igc: Avoid MPS being interrupted by signals
From: |
Pip Cet |
Subject: |
Re: scratch/igc: Avoid MPS being interrupted by signals |
Date: |
Wed, 08 Jan 2025 12:11:54 +0000 |
Gerd Möllmann <gerd.moellmann@gmail.com> writes:
> Pip Cet <pipcet@protonmail.com> writes:
>
>> I don't know what you decided wrt scratch/igc and Eli.
>
> I just looked at the situation. The branch was stuck, the discussions
> were stuck. Everyone is entitled to have his worries of course, but I'm
> poking about in the fog why Eli is worried, and I'm obviously unable to
> explain things well enough or induce enough trust to make this work.
>
> That's why I think it's currently not wise pursuing a merge, at least
> with the persons involved so far. It's too draining and in the end only
> leads to ill feelings.
>
> Whatever.
+1 to all of this.
I've kind of started collecting changes which Eli vetoed, but that
wasn't as much a conscious decision as it was "let's push this". I need
to stop and think about what I want done with those.
> Someone from the outside is needed to solve this. Maybe Daniel can
> explain things better. Or maybe one should ask Stefan Monnier to get
> involved, or the other maintainers, I don't know.
Ah. I wasn't sure whether your message was supposed to get more of a
reaction from Eli than it did. I agree, in any case, that it would be
best for Someone Else to help solve this (but I'm not sure what to do if
that fails to happen).
Thanks!
Pip
- scratch/igc: Avoid MPS being interrupted by signals, Gerd Möllmann, 2025/01/07
- Re: scratch/igc: Avoid MPS being interrupted by signals, Pip Cet, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Pip Cet, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Gerd Möllmann, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals,
Pip Cet <=
- Re: scratch/igc: Avoid MPS being interrupted by signals, Eli Zaretskii, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Gerd Möllmann, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Eli Zaretskii, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Gerd Möllmann, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Eli Zaretskii, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Gerd Möllmann, 2025/01/08
- Re: scratch/igc: Avoid MPS being interrupted by signals, Eli Zaretskii, 2025/01/08