Also changed the title to try to describe better what this is about. We should also squash the commits on merge and then set a commit message describing the change.
This should address the mentioned formality issues.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.