Closed ronlobo closed 9 years ago
Sure
fyi, you shouldn't have to close these pull requests, you can just force push to your branch and the PR will update
Ok, thanks, so it is 'git push -f' I guess.
yep!
Ok, then I think the squashing was ok, but to pull remotely was unnecessary, thanks a lot!
sorry one more thing - would you mind squashing these commits?