Merge bot documentation

mikefaille · January 17, 2017, 5:27am

First of all, I really appreciate Syncthing !

I want reuse the mergebot but I can’t sources codes or clear tutorials to re-implement the same as Synthing’s.

My finding for now :

syncthing/docs/blob/64e69e4ab4eceed08f636a8e7cd46a5cf8145c90/dev/mergebot.rst

Interacting with the Merge Bot
==============================

There is a bot that hangs around on the Syncthing Github projects and
assists with doing correct merges of pull requests. Using the merge bot to
accept pull requests is the recommended way in all cases as it enforces some
extra checks that the "standard" Github merge button does not. The merge bot
is currently called ``st-review``.

Merging a PR
------------

There are two ways to merge a pull request - by direct ``merge`` command and by ``lgtm`` consensus.

By "lgtm"
~~~~~~~~~

Any developer with push access can evaluate the pull request and let the bot
know that they approve of it. The word for this is LGTM, "looks good to
me"::

This file has been truncated. show original

github.com

syncthing/docs/blob/64e69e4ab4eceed08f636a8e7cd46a5cf8145c90/dev/jenkins.rst

Interacting with Jenkins
========================

Jenkins will test pull requests from recognized authors. If the pull
request is not from a recognized author, an *admin* needs to tell
Jenkins to perform the tests, after giving the patch a manual look over
to prevent shenanigans. A number of tests are performed, ranging from
verifying correct code formatting and that the author is included in the
AUTHORS file to that the code in fact builds and passes tests. A pull
request should usually only be merged if all tests return green,
although there are exceptions.

To enable testing for this pull request only:

::

    @st-jenkins ok to test

To enable testing for this pull request, and all future pull requests
from the same author:

This file has been truncated. show original

@calmh If you have few insight for me I need it. I will enforce :

OWNER/AUTHOR file
atomic commit like ~gerrit (no merge / no-ff)
2 LGTM depending pull request size
etc.

Mainly, I can retrieve few of theses features repos manager but I really want use Chatops to get flexibility as I need.

Thank you for your help ! Mikefaille

calmh · January 17, 2017, 6:40am

You found the documentation there is. The source lives here: https://github.com/calmh/mergebot