9 Dec
2013
9 Dec
'13
5:11 p.m.
Andrey Semashev wrote:
With the branch approach, the branch can be deleted, and if I'm not mistaken, the release tag would then reference a non-existent commit of the branch.
What happens with the commit if the branch is deleted but the superproject still references it is an interesting git question. :-) Ideally, the feature will be fixed for the next release in a normal manner, so the question will be moot in addition to interesting, but in practice, it would probably still hold some relevance. :-) Either way, forking seems a but heavy-handed.