On Monday, April 27, 2020 at 3:11:43 AM UTC-4, heiphohmia wrote: ... >Previously, at the 0.181 update Giovanni asked you to incant the following:
> > git commit -m'Release version 0.181.' > git tag v0.181 > git push > git push --tags > > It looks like this automatically created zip and tar archives for us on > the > "release" page (https://github.com/metamath/metamath-exe/releases) with > all the > properties that keep us package maintainers happy. Would it be reasonable > to > include this git workflow into your process/script for version updates? > > I thought I had done that but maybe I forget that also or did something wrong. I just did it again to be sure. Norm -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/505d76e8-dbe7-4815-8c18-abdeaf1613f6%40googlegroups.com.
