Stream: git-wasmtime

Topic: wasmtime / issue #3129 Git tags for old Cranelift version...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2021 at 15:31):

alexcrichton opened issue #3129:

I forget how this came about, but this git repository as-is right now has a git tag for all published Wasmtime verisons (up to 0.28.0 at the time of this writing), but it also has some similar-looking git tags for old Cranelift versions

We're very close to "convergence" where soon the tags will start to overlap. I think that this is a historical accident, but in any case we'll need to do something about this.

My personal thought on how to handle this is to delete all the cranelift tags and then reupload them with a cranelift- prefix (we already have some of those like https://github.com/bytecodealliance/wasmtime/tree/cranelift-v0.62.0). We haven't been super diligent though about tagging cranelift versions as we publish them so these will likely just move in names and otherwise free up the tag namespace for Wasmtime.

If this would affect anyone else's workflow or something like that please let me know! Otherwise I'll try to do the tag-dance some time next week.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2021 at 15:16):

alexcrichton closed issue #3129:

I forget how this came about, but this git repository as-is right now has a git tag for all published Wasmtime verisons (up to 0.28.0 at the time of this writing), but it also has some similar-looking git tags for old Cranelift versions

We're very close to "convergence" where soon the tags will start to overlap. I think that this is a historical accident, but in any case we'll need to do something about this.

My personal thought on how to handle this is to delete all the cranelift tags and then reupload them with a cranelift- prefix (we already have some of those like https://github.com/bytecodealliance/wasmtime/tree/cranelift-v0.62.0). We haven't been super diligent though about tagging cranelift versions as we publish them so these will likely just move in names and otherwise free up the tag namespace for Wasmtime.

If this would affect anyone else's workflow or something like that please let me know! Otherwise I'll try to do the tag-dance some time next week.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2021 at 15:16):

alexcrichton commented on issue #3129:

Ok, tags are all renamed.


Last updated: Oct 23 2024 at 20:03 UTC