No, that's what these pull requests are for; I check your code and ask you to change things. You change it in a commit, push it to this branch, and github is so kind to see and actually minimize this comment in the pull request overview too; my comment is then processed. :+1: 

@festen You might like this too (see you I mentioned him? :boom:  )