Give more detail on creating customized versions

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

Closed jfehrle closed 4 days ago

jfehrle commented 2 months ago

WDYT? I'm happy to revise.

jfehrle commented 4 days ago

"main" is a poor choice of branch name!

MSoegtropIMC commented 2 days ago

"main" is a poor choice of branch name!

Yes - it should be reserved for "main" branches (what one used to call master branch until 4 years back). See https://www.theserverside.com/feature/Why-GitHub-renamed-its-master-branch-to-main