Helvetica Volubi 76c504e86f add new option for push repo (#148) ...

* ci test push repo - false

* ci test push repo - true

* ci test push repo - auto

* set to correct value

2026-06-03 01:55:40 +08:00

..

SetENV.sh

add new option for push repo (#148)

2026-06-03 01:55:40 +08:00