Building GitHub pull requests using Jenkins Pipelines | Hacker News Reader