Closed enghokie closed 9 years ago
@enghokie If it helps, you don't have to close and re-open the PR every time you add a new commit. If you push additional commits to the same branch on the server, the PR is automatically updated. Fewer clicks, quicker fix!
@jasedit Okay I did not know it automatically updated the pull request. That makes sense, I'll take that into account in the future.
@enghokie It's a useful feature, but unintuitive. Cheers!
@enghokie If it helps, you don't have to close and re-open the PR every time you add a new commit. If you push additional commits to the same branch on the server, the PR is automatically updated. Fewer clicks, quicker fix!