Sorry folks, I've been out of action with a Lurgy. Trying to catch up on the backlog.
We have a chicken-and-egg situation with setting up a Git repo, which should be the last of the main bootstrapping tasks before we can properly get going. In setting up a git repo, we have the option to import an existing repo. I'd like to use that to import from github (and request apache<->github mirroring so github users can work there, submit pull requests, etc). But to do so, I need to know exactly what's to be imported, and that we have a software grant for it. Alternatively, if there isn't a direct correspondence to existing github/Certivox/ repos, we can create a new empty repo and import stuff manually. What's the current situation with the repos at github? -- Nick Kew
