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