brson/bors — pull request #1 by SimonSapin (2014-05-14 13:45:02+00:00)
Title: Include PR title in merge commit messages

... in addition to PR message body.

This is completely untested. I have no idea what I’m doing.

Also, this (@brson’s) fork seems much older than @graydon’s repo, but the latter does not seem to match the actual merge commit messages in https://github.com/mozilla/rust/ which start with `auto merge of #…` (which is what I want to change.)