On Monday, April 27, 2020 at 10:46:41 PM UTC-4, David A. Wheeler wrote: > > On Tue, 28 Apr 2020 11:23:08 +0900, heiphohmia via Metamath 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 >
I don't have a problem adding a git tag for every release. I can continue to do that. David's mod now makes metamath-program.zip no longer needed on the Metamath site for Travis purposes. It is somewhat inconvenient for me to hand-regenerate metamath-program.zip only after each release (rather than each website build) in order to maintain a stable sha256. Does your (heiphohmia's) proposal to access GitHub directly eliminate the need for this file? 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/4ccd164a-2512-4370-b85f-816d64650970%40googlegroups.com.
