commit 0ccd83b19175504131593de584d571797ca0f381
parent 20efa90d0a2666a28ad4fa52097b6ff0af65eb27
Author: Andreas Gruhler <andreas.gruhler@adfinis.com>
Date: Tue, 4 Jun 2024 16:04:24 +0200
doc: fix typos
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/docker/docker-jenkins-inbound-agent/README b/docker/docker-jenkins-inbound-agent/README
@@ -230,7 +230,7 @@ user of the Docker image. Two "declarative" pipeline examples:
}
}
-The "scripted" pipelin is similar:
+The "scripted" pipeline is similar:
* https://www.jenkins.io/doc/book/pipeline/docker
Makes sure to set the label of the node ("podman") and the proper user for the
@@ -274,7 +274,7 @@ Docker container (-u flag). Few examples:
Even more examples (not necessarily docker related):
* https://www.jenkins.io/doc/pipeline/examples
-== Integration with Git post-receiv hooks ==
+== Integration with Git post-receive hooks ==
There exists the option to nudge Jenkins on every push, see
https://plugins.jenkins.io/git/#plugin-content-push-notification-from-repository::