translation pt_PT

[amaretzek]

hope I didn't misunderstood the context for some translations...

[monich]

To avoid recording unnecessary commits in the history, the usual way to handle review issues is something like this:

# <edit the file>
# git add <file>
# git commit --amend
# git push -f

This way, a single commit (different one after each push -f) remains in the history. Of course you always need to be careful with push -f

It's mostly an advise for the future, in this particular case it's easier for me to just press "squash and merge" button in github web ui. That would do almost the same thing, except that it will mess up the author information.

[monich]

Merged, thanks!