diff --git a/src/utilities/git.jl b/src/utilities/git.jl
index be26ad50..c2ba496a 100644
--- a/src/utilities/git.jl
+++ b/src/utilities/git.jl
@@ -26,9 +26,9 @@ function git_push(
     pkey_filename::Union{AbstractString,Nothing}=nothing;
     force=false,
     env=ENV,
-    forge::Union{Forge, Nothing} = nothing,
-    ci_cfg::Union{CIService, Nothing} = nothing,
-    repo::Union{GitHub.Repo, GitLab.Project, Nothing} = nothing,
+    forge = nothing,
+    ci_cfg = nothing,
+    repo = nothing,
 )
     force_flag = force ? ["-f"] : []
     name, email = get_git_name_and_email(; env=env)
@@ -42,12 +42,6 @@ function git_push(
     if isnothing(pkey_filename)
         true_remote = remote
     else
-        # If `pkey_filename` is not `nothing`, then `forge`, `ci_cfg`, and `repo`
-        # must all be not `nothing`.
-        forge::Forge
-        ci_cfg::CIService
-        repo::Union{GitHub.Repo,GitLab.Project,AbstractRepo}
-
         # We need to convert the remote URL to SSH format.
         # Otherwise, the SSH private key will be ignored.
         true_remote = get_url_for_ssh(forge, ci_cfg, repo)