Excuse me, I was not aware github updates pull request diffs "inplace" :-(