This repository has been archived by the owner. It is now read-only.

Example with the command table #118

Closed
wants to merge 1 commit into
base: master
from

Conversation

Projects
None yet
1 participant
@notriddle
Copy link
Collaborator

notriddle commented Oct 5, 2017

No description provided.

@notriddle

This comment has been minimized.

Copy link
Collaborator

notriddle commented Oct 5, 2017

bors ping

Just to prove that bors is enabled on this repo

@bors

This comment has been minimized.

Copy link

bors bot commented Oct 5, 2017

pong

@notriddle

This comment has been minimized.

Copy link
Collaborator

notriddle commented Oct 5, 2017

This table is written with a pipe at the beginning of every line, as recommended in the reference:

Syntax Description
bors r+ Run the test suite, and merge if it succeeds
bors r=[list] Same as r+, but the "reviewer" will come from the argument
bors r- Cancel an r+ or r=
bors try Run the test suite without pushing
bors delegate+ Allow the pull request author to r+
bors delegate=[list] Allow the listed users to r+
bors ping Will respond if bors is set up
@notriddle

This comment has been minimized.

Copy link
Collaborator

notriddle commented Oct 7, 2017

bors ping

@notriddle-bors-test

This comment has been minimized.

Copy link

notriddle-bors-test bot commented Oct 7, 2017

pong

@notriddle notriddle closed this Nov 7, 2017

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.