remember, if you find some small flaw in your pull request, leave it in, lest your reviewers are motivated to find fault elsewhere
@arjache Oh, no, but then sometimes they'll just approve and merge the PR without seeing it, and you'll be left forever knowing that the mistake you made is waiting there.
@arjache The [seg]fault, dear $USER, is not in our [GitHub] stars, but in ourselves