> (which also means the upstream should *not* force push
> even if the last push was "just a few minutes ago so surely noone will
> notice") and a new release is made whenever the `Version:` header

Dang, I shamefully confess I did exactly that some weeks ago to Eglot
(with seconds instead of minutes).  But last I checked Eglot was still in
the push-to-ELPA model, right?  Sorry if I caused any trouble,

Another reason to move Eglot to core I guess :-)

Speaking of that, I'd like to get started with this sometime soon (maybe
August,  around the corner).  I wonder if you know any Git technique that
allows me to keep the history, at least of eglot.el so that is merged with
Emacs's own history.  There was some `git subtree` command  to do this
right?

The other significant piece of work is converting the Eglot README.md
into a half-decent texinfo manual.

João