[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Progress on merging Eglot?
From: |
Stefan Monnier |
Subject: |
Re: Progress on merging Eglot? |
Date: |
Sun, 18 Sep 2022 22:37:55 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
> # 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
- Re: Progress on merging Eglot?, (continued)
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/08
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/18
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/18
- Re: Progress on merging Eglot?, Dmitry Gutov, 2022/09/18
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/18
- Re: Progress on merging Eglot?, Dmitry Gutov, 2022/09/18
- Re: Progress on merging Eglot?, João Távora, 2022/09/18
- Re: Progress on merging Eglot?, João Távora, 2022/09/18
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/18
- Re: Progress on merging Eglot?, João Távora, 2022/09/18
- Re: Progress on merging Eglot?,
Stefan Monnier <=
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/19
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/19
- Re: Progress on merging Eglot?, João Távora, 2022/09/19
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/19
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/19
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/19
- Re: Progress on merging Eglot?, João Távora, 2022/09/19
- Progress on merging Eglot: update, João Távora, 2022/09/23
- Re: Progress on merging Eglot: update, Payas Relekar, 2022/09/24
- Re: Progress on merging Eglot: update, Payas Relekar, 2022/09/24