Hacker News new | ask | show | jobs
by gtirloni 2637 days ago
You can submit a pull request from the GitHub website directly. Just click edit.