Le jeudi 14 mai 2020 à 18:51 +0200, 'Bill Hart' via sage-devel a écrit : > The (latest) commit c6319d1d36248f2fc699e833ab2f6fa70d21e906 in the > official Flint repository [1] is flint-2.6.0-alpha1.
You could tag it : that would be clearer. Something like "git tag 2.6.0-alpha1" then "git push --tags" is enough. That way the repository will document which tag is that alpha1, and github will make tarballs automatically. Cheers, JP -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8f107ad5fbdf0b8e37937d83aa75b7fd5144819c.camel%40gmail.com.
