Connecting to and using Jenkins
Jenkins is a job manager which handles executing various tasks on Drupal.org infrastructure.
Managing users on dev server
Creating new accounts on development server, resolving a lockout, changing an SSH key.
Re-imaging dev environment
If a developer requests to have their Drupal.org development environment re-imaged, here is the process.
Finding the owner of a dev site
How to find who requested specific development environment and why.

