Re: Helping with MPS

[Eli Zaretskii]

> From: Helmut Eller <eller.helmut@gmail.com>
> Cc: pipcet@protonmail.com,  gerd.moellmann@gmail.com,  emacs-devel@gnu.org,
>   jcm@SDF.ORG
> Date: Wed, 21 Aug 2024 19:44:31 +0200
> 
> On Wed, Aug 21 2024, Eli Zaretskii wrote:
> 
> >> > But if we fork, why not simply add it to the Emacs Git repository? why
> >> > do we need a separate repository on GitHub?
> >> 
> >> Putting a fork on GitHub seems like the courteous thing to do IMO.
> >
> > Not sure I understand: courteous to whom?  If we are going to make
> > Emacs-specific changes in the library, who else will find this fork
> > useful except people that build and develop Emacs?
> 
> Maybe Ravenbrook would like to see what does and doesn't work with MPS.

If they want it, yes.  Maybe we should try talking to them before we
decide to fork.