On Sun, Sep 18, 2022 at 10:20 PM Philip Kaludercic wrote: > João Távora 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. > In that case my apologies, I had misunderstood. > No need to apologize, of course! João