devhub-tud/DevHub — pull request #106 by dlhartveld (2013-02-12 19:26:44+00:00)
Title: Remove jenkins permissions when leaving project

Remove a user's permissions for the corresponding Jenkins job when he leaves a project.

Depends on some fixes in jenkins-ws-client v0.10 (equals implementation for UserImpl, among others).