...
/integrate [auto|delegate|undelegate|manual|<hash>]
Description
The pull request command that all contributors will use is the /integrate
command that integrates an approved pull request into a repository. This is an example where the Skara workflow differs slightly from the workflow offered by most external Git source code hosting providers - almost all external Git source code hosting providers require that a reviewer/maintainer integrates a pull request into a repository. Skara instead enables the contributor to integrate the pull request with the /integrate
command, but the contributor can only issue the /integrate
command once the pull request passes all pre-integration checks (e.g. jcheck).
...
The auto
parameter is used to label a pull request to be automatically integrated as soon as all pre-integration checks are passing. This can be a good idea to save time when a change is comparatively benign and only the minimum amount of review is needed.
The manual
parameter is used to undo the effects of the auto
parameter.
If a contributor of a pull request will be unable to perform the integration at a suitable time, they may delegate the ability to integrate to any other committer in the project. This is done using /integrate delegate
. Issuing this command will not immediately integrate a pull request, instead any committer in the project will be able to issue the /integrate
command to perform the integration. This can be undone by the original contributor running /integrate undelegate
.
...