[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Progress on merging Eglot?
From: |
Philip Kaludercic |
Subject: |
Re: Progress on merging Eglot? |
Date: |
Sun, 18 Sep 2022 21:20:12 +0000 |
João Távora <joaotavora@gmail.com> writes:
>> but this is a continuous process that would have to be synchronised on
>> both sides (emacs.git and GitHub) all the time. That sounds like more
>> effort than the history is worth.
>>
>
> That's not the plan. But if that _were_ the plan, then I can think of no
> better
> arguments than keeping history.
In that case my apologies, I had misunderstood.
> Good (Git) history is a benediction that
> should
> be preserved at (almost) all costs.
>
> João Távora
- Re: Progress on merging Eglot?, (continued)
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/08
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
- 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 <=
- Re: Progress on merging Eglot?, João Távora, 2022/09/18
- Re: Progress on merging Eglot?, Stefan Monnier, 2022/09/18
- 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