mypy-ratchet.sh: use printf instead of echo

`%s` has no special meaning to echo.
NixOS · Jun 11, 2020 · 9ec1efc · 9ec1efc
1 parent ee7f057
commit 9ec1efc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/mypy-ratchet.sh b/ci/mypy-ratchet.sh
@@ -17,7 +17,7 @@ base=origin/${GITHUB_BASE_REF:-master}
 
 git fetch origin
 
-echo "Checking base branch at %s, then PR at %s...\n" "$base" "$head"
+printf "Checking base branch at %s, then PR at %s...\n" "$base" "$head"
 
 git checkout "$base"
 nix-shell shell.nix --run "$scratch/run-ratchet.sh $scratch base"