Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc: mention CI in Collaborator Guide #1995

Closed
wants to merge 1 commit into from
Closed

Conversation

Trott
Copy link
Member

@Trott Trott commented Jun 16, 2015

Add link to Jenkins server in Collaborator Guide.

Add link to Jenkins server in Collaborator Guide.
@mscdex mscdex added the doc Issues and PRs related to the documentations. label Jun 16, 2015
@Trott Trott changed the title doc: Collaborator Guide should mention CI doc: mention CI in Collaborator Guide Jun 16, 2015
@chrisdickinson
Copy link
Contributor

LGTM – and thanks for putting this together so quickly 👏

@Fishrock123
Copy link
Contributor

LGTM

@Trott
Copy link
Member Author

Trott commented Jun 17, 2015

Merged in c50ac2ed6b1bb0b6979d74ff6e832e986a0cd643

@Trott Trott closed this Jun 17, 2015
@Trott
Copy link
Member Author

Trott commented Jun 18, 2015

Uh...re-opening. Somehow this commit got clobbered. Did I do something wrong? Was a subsequent push a --force or something?

@Trott Trott reopened this Jun 18, 2015
Trott added a commit that referenced this pull request Jun 18, 2015
Add link to Jenkins server in Collaborator Guide.

PR-URL: #1995
Reviewed-By: Chris Dickinson <[email protected]>
Reviewed-By: Jeremiah Senkpiel <[email protected]>
@Trott
Copy link
Member Author

Trott commented Jun 18, 2015

Merged in 0cf94e6

@Trott Trott closed this Jun 18, 2015
@rvagg rvagg mentioned this pull request Jun 18, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc Issues and PRs related to the documentations.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants