Web-flow editing from Pull Requests

Pull Requests are key to our collaboration workflow here at GitHub, so today we’re making it a little easier to stay in the flow of a PR while collaborating directly…