Done. I think this was the last remaining part of the issue.

Ok, I'll move them to infrastructure/doc.

In my opinion all of these except for the contacts.org file would fit the
infrastructure repository. (I think Gabi mentioned something similar.)

I updated the files in ai/admin as far as I knew the right information. The
following files remain there:

* aidev.org
  - List of services running on aidev
  - Update logs of previous OS upgrades
* backups.org
  - Description of backups of aidev/airepos
* contacts.org
  - contact information of group members
* howto.org
  - which tasks should involve an admin?
  - who has the password for X?
* icaps-videos.org
  - documentation of setup for the service
* infai-accounts.org
  - purpose of the accounts
  - how to access them

The first one overlaps a bit with the infrastructure repository where we also
have a list of services on aidev. How do we want to separate the two repositories?

I'm happy with the new documentation. We should also make sure to update the
ai-admin repository, in particular remove things we don't need any more.

There now is some documentation on roundup as well, in case someone wants to
review it.

I moved the buildbot documentation from ai/admin to ai/infrastructure and tried
to update it as much as I could. Could someone have a look? The change to
ai/admin just removes the complete directory "downward" which only contained
buildbot documentation. The new documentation in ai/infrastructure is structured
differently but I'll let you find this out (if it is not self-explanatory, we
should change it).

Also, I wrote this in org files without knowing the format, so someone with
emacs should probably check that things are indented correctly.

I'll try to write a similar documentation for roundup now.

Jendrik reviewed the change and we decided to merge it. I'll leave the issue
open until we fix the wiki and the documentation in the ai-admin repository.

I created a patch that removes the buildbot configuration that now lives in the
infrastructure repo and updates the documentation of the script:
https://bitbucket.org/FlorianPommerening/downward-issues/pull-requests/53

I found only one mention of the buildbot in our wiki. This should be updated to
document the tests we run but we should discuss the tests first.
http://www.fast-downward.org/ForDevelopers/BuildBot

Since we moved the buildbot to a docker container in our infrastructure
repository, we should update the relevant documentation in the Fast Downward
repository, the wiki, and the ai-admin repo.

I'm creating an issue for this, so we have a branch to make the changes in.