A repository to test Jenkins with GitHub