Hi,
I'd like to suggest that instead of overwriting pull requests and all of
their comments on github by pushing replaced commits over them, it would be
better to keep any existing discussions accessible by rejecting the current
pull request and creating a new one.
Does that make sense for everyone?
Stefan