git checkout OpenHarmony_feature_20250702

git pull https://gitee.com/dkofanov/ets_frontend.git stdlib-decl-1

git push origin OpenHarmony_feature_20250702