From 0fa20d95d65aa963ceba6c54ba8a3637e3d9b51b Mon Sep 17 00:00:00 2001
From: Update Bot <update-bot@private.storage>
Date: Fri, 22 Jul 2022 12:39:33 -0400
Subject: [PATCH] Fix some typos
---
ci-tools/update-nixpkgs | 2 +-
ci-tools/with-ssh-agent | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs
index 3195cd0e..76f74a2e 100755
--- a/ci-tools/update-nixpkgs
+++ b/ci-tools/update-nixpkgs
@@ -206,7 +206,7 @@ create_merge_request() {
# The target branch of the MR.
local TARGET_BRANCH=$1
shift
- # THe source branch of the MR.
+ # The source branch of the MR.
local SOURCE_BRANCH=$1
shift
local DIFF=$1
diff --git a/ci-tools/with-ssh-agent b/ci-tools/with-ssh-agent
index 025cfc75..7978f70b 100755
--- a/ci-tools/with-ssh-agent
+++ b/ci-tools/with-ssh-agent
@@ -5,7 +5,7 @@
# it. ssh-agent itself does most of that work for us so the main benefit of
# the script is that it guarantees ssh-agent is available for us to run.
-# Just give ssh-agent the commmand and it will runn it and then exit when it
+# Just give ssh-agent the commmand and it will run it and then exit when it
# does. This is a nice way to do process management so as to avoid leaking
# ssh-agents. Just in case cleanup fails for some reason, we'll also give
# keys a lifetime with `-t <seconds>` so secrets don't say in memory
--
GitLab