There were some doubts when we first considered using PR's as part of Leo's workflow. Those doubts have completely vanished. For me, PR's are all gain and no pain:
- There are huge advantages to having a permanent, easy-to-access, authoritative record of all changes to Leo's code base.
The first comment of each PR gives an overview
of the changes. The code diffs give the ground truth of the changes.
- Creating a PR cost next to nothing.
- PR's impose discipline, including self-discipline, on code changes.
I only rarely make cowboy commits (commits without a PR) to devel. Such commits make trivial changes, like correcting misspellings, etc.
Edward