Skip to content
Discussion options

You must be logged in to vote

TL;DR: git pull

There are multiple aspects.

User's local changes

The user needs to make sure all local changes made to git-tracked files are committed, stashed or preserved in other way. If local changes are no longer needed one can reset HEAD to the last state by git reset --hard. --hard option should be used with caution! It discards all local changes that are not commited

Obtain last version from git

Once the working directory is clear, the last version can be obtained by:

git checkout main
git pull

Python environment

Python packages can be installed as regular packages or in editable mode. Usually preferred method for development is the editable mode -- pip install --editable . ran f…

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by nicocopez
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants