Hi, Il 13/02/20 01:13, Norman Megill ha scritto: > Per request of Giovanni (see > https://groups.google.com/d/msg/metamath/uSa8Q0fWKeM/9dDcUM-DCwAJ ) I > also did the following. I assume this is still desired? > > git commit -m'Release version 0.181.' > git tag v0.181 > git push > git push --tags
Thank you, that seems to be correct. For the record, this means that release v0.181 is visible on the dedicated GitHub page[1]. [1] https://github.com/metamath/metamath-exe/releases As soon as I have some time I will update the Debian package and also contribute some processing power to the minimization effort. Thanks, Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/878ac494-e2dd-53aa-b806-fa5bd5b2af5c%40gmail.com.
signature.asc
Description: OpenPGP digital signature
