Guidance on contributing PRs says:

You should not squash down commits while review is still on-going.

• Squashing commits prevents the reviewer being able to see what commits are added since the last review.

It is not quite clear to me, whether this includes amending commits and then force-pushing. This is probably something that should be discouraged for non-trivial changes, but IMHO amending makes sense, if you realize right away that you made a dumb mistake and want to push a quick fix. Is that something that should be added? Do people have different opinions on this?