stable-0.13-test protected

Christian Boettcher

@boettcher1

5941f11b · git remote add instead of set-url, as the build process has a newly initialized git repo each time · Jul 05, 2021

test the github push with git remote add instead of set-url