3 ms·

Github has an Edit button, too. It will automatically fork the repo, make a commit, and then create a pull-request. Very handy.