Page History

...

/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.

...