[ludwigvan]

Or each repo might have a corresponding repo where only binaries are pushed, and probably the raw link might be used as a workaround.