diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs index 3195cd0e4d7fe0921f7ea7fac284d5c5ce247c44..76f74a2e1848d1504af6925ae1991fdf335ad80f 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 025cfc7522f7f76c6a7d5a313ab3b0dae392a334..7978f70b9840083ad855cb5d08e83dfab1f6a75a 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