Run
git gc --prune=now
and then try again.
On Wed, Dec 16, 2020 at 3:34 PM Emmanuel Charpentier
wrote:
>
> On Debian testing, it turns out that I am unable to pull the current version
> starting from 9.2.beta12 :
>
> charpent@p-202-021:/usr/local/sage-9$ git status
> Sur la branche develop
> V
On Debian testing, it turns out that I am unable to pull the current
version starting from 9.2.beta12 :
charpent@p-202-021:/usr/local/sage-9$ git status
Sur la branche develop
Votre branche est en retard sur 'origin/develop' de 2091 commits, et peut être
mise à jour en avance rapide.
(utilis
