A repository used for testing Jenkins CI GitHub integration