Hacker News new | ask | show | jobs
by mhils 1514 days ago
In our case OPs bot did not open a PR which could have been merged quickly, but filed an issue instead.