Remove type: ignore

rapidsai · Aug 26, 2024 · 0635d17 · 0635d17
1 parent 21ca4e0
commit 0635d17
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/test/test_pre_commit.py b/test/test_pre_commit.py
@@ -80,9 +80,7 @@ def list_files(top):
 
     branch_dir = os.path.join(example_dir, "branch")
     if os.path.exists(branch_dir):
-        git_repo.head.reference = git_repo.create_head(  # type: ignore[misc]
-            "branch", git_repo.head.commit
-        )
+        git_repo.head.reference = git_repo.create_head("branch", git_repo.head.commit)
         git_repo.index.remove(list(list_files(master_dir)), working_tree=True)
         shutil.copytree(branch_dir, git_repo.working_tree_dir, dirs_exist_ok=True)
         git_repo.index.add(list(list_files(branch_dir)))