docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #83 from SvenDowideit/start-migrating-to-jenkinsfile 

Initial Jenkinsfile
(cherry picked from commit 9736bd57db)
This commit is contained in:
Sven Dowideit 2016-07-28 16:39:04 +10:00 committed by Sven Dowideit
parent e1e10e0ea6
commit b9b87bed67
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Jenkinsfile vendored Normal file
View File

@ -0,0 +1,8 @@
// Only run on Linux atm
wrappedNode(label: 'linux') {
deleteDir()
stage "checkout"
checkout scm
documentationChecker("docs")
}

4
docs/governance/board-profiles.md
View File

@ -48,7 +48,7 @@ and community of the Docker Project.
* Michael Crosby * Michael Crosby
* Steve Francia * Steve Francia
* Stephen Day * Stephen Day
* Arnaud Poterie * Arnaud Porterie
## Individual Contributors ## Individual Contributors
@ -64,7 +64,7 @@ and community of the Docker Project.
* Ahmet Alp Balkan (Microsoft) * Ahmet Alp Balkan (Microsoft)
* Rohit Jnagal (Google) * Rohit Jnagal (Google)
## User ## Users
* Nicola Paolucci (Atlassian) * Nicola Paolucci (Atlassian)
* Burke Libbey (Shopify) * Burke Libbey (Shopify)