On using Github and a PR based workflow
Posted Tue Jan 9 17:25:00 2018