To correct problems introduced by the googlecode migration, we are
beginning a renaming of our GitHub repositories:
For each *projectname *(e.g., collect, tables, aggregate, etc.):
*projectname *==renamed-to==> projectname-bad
projectname-fixed ==renamed-to==> projectname
We will send another e-mail once these renamings are completed.
After the renaming is complete, if you have cloned the repositories and
modified the code, you will want to follow these instructions to rebase
your clone to the new project repository: