Re:Proper use of Git tags
by howinteresting on Monday May 23, 2022 @04:35PM
(#31484476)
That doesn't follow. Why should they not be in the same repository? They may be related but independently usable.
[ Parent
| on HN ]
There are no comments on this comment yet.