Norman Megill <[email protected]> wrote: > 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
Thank you, Norm. Yes, the GitHub tar achive is exactly what I need so will no longer be using metamath-program.zip. Looks like we can get rid of it! -- 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/234OTEW4AGO56.32TCBMP8Q9HX9%40wilsonb.com.
signature.asc
Description: PGP signature
