...
If a contributor of a pull request will be unable to perform the integration at a suitable time, they may defer the ability to integrate to any other committer in the project. This is done using /integrate defer
. Once performed, Issuing this command will not immediately integrate a pull request, instead any committer in the project is will be able to issue the /integrate
command in the affected pull requestto perform the integration. This can be undone by the original contributor running /integrate undefer
.
...
Overview
Content Tools
ThemeBuilder