git checkout main

git pull https://gitee.com/texmacs/plugins-in-python.git da/docs_pr

git push origin main