This is to give more visibility to issue https://github.com/metamath/metamath-exe/issues/19 . This came up when I put a .gitignore in the metamath-exe repo: We currently distribute the metamath sources via tar file, and it would be odd to distribute the .gitignore as well.
I think we should move to a release process entirely hosted on github, with the web site pointing to the https://github.com/metamath/metamath-exe/releases page, which will be semi-automatically populated with releases built in CI. -- 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/CAFXXJSt0Fz%2BOOYWeHw8R_kv6rmguN8C2BJdm5WQvijB4J9uimw%40mail.gmail.com.
