travis-ci/travis-core — pull request #374 by simonbnrd (2014-04-18 08:37:03+00:00)
Title: Permissions should be removed when the repository is deleted

Quick fix for travis-ci/travis-ci#1937.