Open julialongtin opened 2 years ago
Is there any intention to tag releases for this on github?
Does that just mean setting git tags on commits so that we know which commit corresponds to which release? If so, that does sound wise...
Is there any intention to tag releases for this on github?