This repository contains script/actions that could be executed by Sefkhet-Abwy, one of the many names Sesheta is known by.
label_normalizer
review-manager
The review manager will do two basic things: handle the 'do-not-merge' labels, and assign reviewers once a pull request is ready to be reviewed.
A Pull Request is ready to be reviewed if it has
merge_master_into_pullrequest
A command line utility used to merge the current master of the base of a pull request into the pull request head. A human could also press the 'update branch' button on the GitHub web user interface.