Intentionally extremely simple PR. My first! More of a smoke test than anything, to make sure I'm doing this right.

Can you add a bit of info in the commit about why we want to ignore this? ;)

Otherwise it looks completely reasonable to me.

Can you add a bit of info in the commit about why we want to ignore this? ;)

Otherwise it looks completely reasonable to me.

Noob questions:

1. Is editing the first comment in the PR sufficient? If so, done.
2. If not, can I amend the commit and force-push to my fork to keep the git history clean?

Yeah, if it's just a comment change you can do:

git rebase -i HEAD

and edit the comment, then do 'git push --force' to push the change to your fork (the pr will automatically update).

If you want to squash commits, what I do is:

make the new commit
git rebase -i HEAD~2 (or however many commits)
tell it to squash the second and later ones, update the comment
git push --force

Done!

Cool. Thanks!