Thanks for reporting that @OrangeDog , we actually use the stable tag only as a "reference to the last build success on master" for CI automation, thus there should be no difference between a tag and a branch. However, we weren't aware of the effect to use a tag on Github, I'll check how we could improve that.