Make environment-to-ini work with INSTALL_LOCK=true (#25926)#25937

Merged

jolheiser merged 1 commit intogo-gitea:release/v1.20from

GiteaBot:backport-25926-v1.20

Jul 17, 2023

Commits on Jul 17, 2023

Make environment-to-ini work with INSTALL_LOCK=true (#25926)

wxiaoguang
authored and
GiteaBot
committed