Start working on a script for sanely merging pull requests. Still quite manual.