---

Reflections on using a Github pull request based workflow

In mid-2017, I decided to experiment with using pull-requests (PRs) on Github. I’ve read that they make development using git much nicer. The end result of my experiment is that I’m not going to adopt a PR based workflow.