@apurva my intention is to tag in the GitHub repo. The question is when to tag it. Because unless you’re building it yourself it’s likely you’ll expect it to be available in some shared repo when the tag is there. Unless I’m missing something, in which case I’d like to know more about your scenarios