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

Initial Jenkinsfile (cherry picked from commit 9736bd5)
docker · Aug 3, 2016 · b9b87be · b9b87be
1 parent e1e10e0
commit b9b87be
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,8 @@
+// Only run on Linux atm
+wrappedNode(label: 'linux') {
+  deleteDir()
+  stage "checkout"
+  checkout scm
+
+  documentationChecker("docs")
+}
diff --git a/docs/governance/board-profiles.md b/docs/governance/board-profiles.md
@@ -48,7 +48,7 @@ and community of the Docker Project.
 * Michael Crosby
 * Steve Francia
 * Stephen Day
-* Arnaud Poterie
+* Arnaud Porterie
 
 ## Individual Contributors
 
@@ -64,7 +64,7 @@ and community of the Docker Project.
 * Ahmet Alp Balkan (Microsoft)
 * Rohit Jnagal (Google)
 
-## User
+## Users
 
 * Nicola Paolucci (Atlassian)
 * Burke Libbey (Shopify)