I have been able to git pull. Thanks. Now building…
Le jeudi 17 décembre 2020 à 14:13:12 UTC+1, Dima Pasechnik a écrit :
> 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…
>
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 'refs/remotes
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.
> Compressi
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% (9016
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