I think it is confusing that the default branch is `spir_12`, rather than `master` or `spirv-1.2`
I think it is confusing that the default branch is
spir_12, rather thanmasterorspirv-1.2