.github: fix redirecting into existing file when rendering resources#2

charludo merged 1 commit into

mainedgelesssys/collateral-proxy:mainfrom

ch/fix-publishedgelesssys/collateral-proxy:ch/fix-publishCopy head branch name to clipboard