This is a public repository, because GitHub will charge for private repositories. Once we get comfortable we can move it to our own server.