Infrastructure
GitHub repo
Atlassian environment
https://crystalfree.atlassian.net/secure/BrowseProjects.jspa
open-source (i.e. free), Confluence+JIRA
owned by @Tengfei Chang
Online meetings
hosted by Inria (Cisco-based) setup and owned by @Thomas Watteyne
DNS
crystalfree.org domain, GoDaddy, owned by @Thomas Watteyne
http://www.crystalfree.org → Confluence
http://confluence.crystalfree.org → Confluence
http://jira.crystalfree.org → JIRA
http://meet.crystalfree.org/ → Inria online meeting system
Jenkins server
TODO @Tengfei Chang
Â