git checkout main
git pull https://gitee.com/atlisp/atlisp-lib.git auto-8495138-main-8947659f-1
git push origin main
