Subject: Re: bug#63800: [elpa] elpa-admin 1d766451f8: Suggest `package-install' to install packages (bug#63800)

From: Stefan Monnier <[email-masked]>
Date: Fri, 01 Sep 2023 08:53:06 -0400

> Bump!
> There is an awkward situation now with
> https://git.savannah.gnu.org/cgit/emacs/elpa.git/log/?h=elpa-admin
> containing my commit, but ELPA website not using it.
>
> Should I push a commit as in the above suggestion?

Oh yes, please (and then remind me to update the elpa.gnu.git scripts).

        Stefan