4 ms·Show HN: I built a tool to sync Jenkins jobs with Github pull requests1 points by jobeirne 14y ago