I've removed this remote branch, so it should be OK now, one way or another.
On Thu, Dec 17, 2020 at 12:41 PM Emmanuel Charpentier
wrote:
>
> I’m on develop…
>
> harpent@p-202-021:/usr/local/sage-9$ git fetch
> remote: Counting objects: 31, done.
> remote: Compressing objects: 100% (6/6), done.
I’m on develop…
harpent@p-202-021:/usr/local/sage-9$ git fetch
remote: Counting objects: 31, done.
remote: Compressing objects: 100% (6/6), done.
remote: Total 6 (delta 5), reused 0 (delta 0)
Dépaquetage des objets: 100% (6/6), 982 octets | 46.00 Kio/s, fait.
error: cannot lock ref
once again - does your branch correspond to something remote?
On Thu, Dec 17, 2020 at 11:42 AM Emmanuel Charpentier
wrote:
>
> Nope :
>
> charpent@p-202-021:/usr/local/sage-9$ git gc --prune=now
> Énumération des objets: 901621, fait.
> Décompte des objets: 100% (901621/901621), fait.
>
Nope :
charpent@p-202-021:/usr/local/sage-9$ git gc --prune=now
Énumération des objets: 901621, fait.
Décompte des objets: 100% (901621/901621), fait.
Compression par delta en utilisant jusqu'à 4 fils d'exécution
Compression des objets: 100% (143507/143507), fait.
Écriture des objets: 100%
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
>