FAQ

Warning

Incomplete, under development …

1. How to update the local er3t repository?

git checkout master
git pull origin master

python setup.py develop

2. What to do if encounter conflicts in file change when git pull?

git checkout master
git fetch --all
git reset --hard origin/master
git pull origin master

python setup.py develop

3. How to clean up local branches?

git branch -a
git remote prune origin --dry-run

git remote prune origin
git branch -a