Try this (`git fetch` is the new part):

cd ~
sudo apt install git
git clone --depth=200 https://github.com/leo-editor/leo-editor.git
cd ~/leo-editor
*git fetch*
git checkout devel
pip3 install --editable ~/leo-editor

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to