git checkout main
git pull https://gitee.com/MoganLab/goldfish.git TREE_3/bench/chez
git push origin main
