Bastien,

thank you.  My bad: I tried to simply change the url in the .git/config
but hadn't realised that the branch information etc. was
different.  I've cloned anew and everything is fine.

-- 
: Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-637-gd70f28
: Latest paper written in org: https://arxiv.org/abs/2106.05096

Reply via email to