-------- Forwarded Message -------- Subject: Git Date: Thu, 7 May 2020 11:45:59 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, Can you post this: providing only communication through git is not a good Idea. Git should be reserved forp who wants to modify the programs (Metamath or mmj2). Set.mm is not a part of the programs. It is a file of data like a Word or an Excel file. It should be kept in the current directory. And the end user doesn't want to have his/her working directory polluated with git stuff. -- FL -- 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/cb4dfbcb-e51b-4ffc-9503-52cf9c743937%40googlegroups.com.
