On Tue, 2015-02-24 at 15:03 -0500, David Shea wrote:
This is both a tool for avoiding merge commits and something to point at later when we decide that maybe merge commits aren't so bad in github's contribution model.
scripts/merge-pr | 279 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 279 insertions(+) create mode 100644 scripts/merge-pr
Looks good to me. Thanks for taking Python3 into account right away!