jenkins-infra/jenkins-infra — pull request #38 by kohsuke (2014-09-21 16:40:38+00:00)
Title: [INFRA-129] follow up changes

The .github file format was wrong, plus file permission tightening.