I haven't done that yet, though I would like to do so. There are a variety of reasons for requiring PRs, including
- ensure that GitHub actions, such as build, test, analyze, are completed (in PR branch) successfully before merging into main - ensure that PR conversation (including discussion resolution) and changes are recorded and retained for future reference - enable (optional) review processing, should it be desired Given that it takes only a few mouse clicks in GH to create a PR from a commit on a private branch, is there any reason we shouldn't use PRs for all prospective merges? We should take advantage of the tools gained from migrating to Git, yes? On Tue, Mar 7, 2023 at 12:47 PM Simon Steiner <[email protected]> wrote: > Glenn are you making PRs required for the git repos, should this go thru a > vote before being implemented? >
