I rag on GitHub all the time, I hate it, I don’t have a forge up on my own site—but they have a feature that I’ve used so many times for small contributions! If that pencil is so darn good—shouldn’t I provide a similar feature or even move my stuff over to GitHub?
But as I thought about it a li’l more, I sobered up and realized that the pencil itself is more of a mitigation for how bad GitHub is, than a baseline good.
@Sandra
I also made a "pull request" on github two days ago, and was also taken aback at how many hoop they made me jump through.
You can make the branch locally with the git CLI, and push with `git push -u`.
Another hoop that you didn't mention was that I had to generate an ssh key and upload it in the web interface, you can't just give your username and password on git push. Then I also had to change the type of remote for the repo from https to git+ssh.
I use an access token instead so I can still use https 💁🏻♀️
Thanks for the push -u tip though ♥