Re: Progress on merging Eglot?

[Stefan Monnier]

> # filter eglot with only eglot.el and find+replace # in commit messages
> git filter-repo --path eglot.el --message-callback '
>       return re.sub(b" #", b" https://github.com/joaotavora/eglot/issues/";, 
> message)
>       return re.sub(b",#", b",https://github.com/joaotavora/eglot/issues/";, 
> message)
>       return re.sub(b"(#", b"(https://github.com/joaotavora/eglot/issues/";, 
> message)
>       return re.sub(b"Fix#", b"Fix: 
> https://github.com/joaotavora/eglot/issues/";, message)
>       return re.sub(b"github#", b"Github: 
> https://github.com/joaotavora/eglot/issues/";, message)

I suspect you can get a slightly better result if you tweak this filter
script so as to rename `eglot.el` to `lisp/progmodes/eglot.el` in each commit.

Then you can also skip the `git read-tree`.


        Stefan