yep, that was the solution I tried out today! Created a stub workspace which I have as a separate github repo and in the github action I download the other repo! Works well, but is a bit counterintuitive. I was also thinking of doing it the other way around, that way the page would be right where the vault is.