• Migrating the coq repository from svn to git
• Previous situation
• Which content for the official git repository ?
• Pros:
• Cons:
• The new repository
• The migration itself
• Git usage and guidelines
• Basic use
• Git documentation
• Workflow
• Advices
• Misc
• Coqbenchs
• User Contribution Archive
• Coqbugs
• External developpers
• Github