Hacker News new | ask | show | jobs
by inopinatus 751 days ago
It means Github won't ping him for every pull request.