wr0ngway/rubber — pull request #138 by ariejan (2012-03-28 14:09:19+00:00)
Title: Use sudo_script to add 10gen mongodb sources

I got a `permission denied` error. Instead I now wrap adding the 10gen repo in a sudo_script which works fine.

Sorry, no feature branch for this.