DiamondLightSource / DiamondLightSource/httomo

Question about github mechanisms for checking PR readiness before merge

Open
#273 0 comments 0 reactions 0 assignees View on GitHub
question
Dominant language
Python
Stars
10
Forks
5
Avg merge
5d 17h
Merged PRs (30d)
1

Description

There are various criteria that developers can choose among to prevent a PR from being merged before it is considered "ready".

One mechanism for enforcing the chosen criteria is the requirement of "status checks" to be successful before merging, see https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-protected-branches/about-protected-branches#require-status-checks-before-merging

Another mechanism is requiring a certain number of approved reviews before a PR can be merged, see https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-protected-branches/about-protected-branches#require-pull-request-reviews-before-merging

Question: does anyone think any of these mechanisms could be useful to the development of httomo?

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.