message no. 151313
Posted by superguest in #github at 2016-09-22T22:04:05Z
nedbat, okay, I understand. Now, let's talk workflow. When the developer sends a PR request chances are they're happy with the state/commit at the time of the PR. But the developer will continue working the code locally and from time to time they want to push changes -- changes that aren't in the best of shape -- back to their GH repo.