4 ms·
Sorry, semi rhetorical question. Still, there's no easy way to do a quick PR on GitHub. That might be intentional. I suspect it's also intentional on the part o
by mbrock 11y ago
Sorry, semi rhetorical question. Still, there's no easy way to do a quick PR on GitHub. That might be intentional. I suspect it's also intentional on the part of the band—they say if you do a proper PR it's very possible that they'll agree, so it's a kind of proof of work.
- Widdershin 11y agoThe edit file button in Github's web interface allow you to do pull requests that only impact one file very easily.