Closed pmetzger closed 5 years ago
of course I forgot, but lo, it's such a bad idea to rename repos. It breaks previous releases.
But this new repo hasn't had a release yet, yes?
No, but renaming repos changes the hash of the github-generated release tarballs :(
Okay, that's gross.
Normally we tend not to name libraries something like
foo.ml
but ratherfoo
. Perhaps this repository (and the package) should simply beiso8601
?