Merge pull request docker#83 from SvenDowideit/start-migrating-to-jen…

…kinsfile Initial Jenkinsfile
basanherki · Jul 28, 2016 · 9736bd5 · 9736bd5
2 parents 31d2509 + 10e1dca
commit 9736bd5
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)