On Tue, 28 Apr 2020 11:23:08 +0900, heiphohmia via Metamath <[email protected]> wrote: > Norm, thank you for tagging v0.182 as well as merging the pull request. > I am getting the impression that this thread has mostly increased your > maintenance burden. That's really counter to my intent and needn't be the > case! > > The whole release process on the GitHub side can be made very automatic.
Agreed. I took a step in that direction. This pull request: https://github.com/metamath/set.mm/pull/1615 modifies the current Travis build process so that it always pulls and uses the Metamath source code with the newest tag. Norm simply needs to use "git tag" to tag each Metamath release. That doesn't create a full GitHub release, but it may be enough, and if a full GitHub release is wanted this could be a step in that direction. --- David A. Wheeler -- 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/E1jTGGd-0004tF-E9%40rmmprod06.runbox.
