[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Progress on merging Eglot: update
From: |
Richard Stallman |
Subject: |
Re: Progress on merging Eglot: update |
Date: |
Sat, 24 Sep 2022 22:46:18 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> > I need to come up with a git incantation to run periodically so that
> > the patches that happen in list/progmodes/eglot.el upstream can
> > somehow be applied to the GitHub downstream-used-to-be-upstream.
> Can we use git-filter repo in similar manner as we did now, but instead
> of moving to child dir (lisp/progmodes/), we move to parent dir
> (../../)?
> Then we can simply force push to github. Admittedly I haven't tested
> this yet, but sounds doable. That way commit history will be preserved
> both ways.
Using GitHub this way is no disaster in practice, but it is embarrassing.
Could we move that repo to a better place, such as sourcehut?
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: Progress on merging Eglot?, (continued)
- 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
- Re: Progress on merging Eglot: update,
Richard Stallman <=
- Re: Progress on merging Eglot: update, Payas Relekar, 2022/09/25
- Re: Progress on merging Eglot: update, Eli Zaretskii, 2022/09/25
- Re: Progress on merging Eglot: update, Richard Stallman, 2022/09/26
- Re: Progress on merging Eglot: update, João Távora, 2022/09/26
- Re: Progress on merging Eglot: update, Richard Stallman, 2022/09/27
- Re: Progress on merging Eglot?, Stefan Monnier, 2022/09/19
Re: Progress on merging Eglot?, Payas Relekar, 2022/09/18
Re: Progress on merging Eglot?, Payas Relekar, 2022/09/19