diff --git a/.gitignore b/.gitignore index cc30cd9d4f..77ca54f3a5 100644 --- a/.gitignore +++ b/.gitignore @@ -53,3 +53,4 @@ environments/benchmarks/evals/ # Release script temp files .release_notes.md +mini-swe-agent/ diff --git a/mini-swe-agent b/mini-swe-agent deleted file mode 160000 index 07aa6a7385..0000000000 --- a/mini-swe-agent +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 07aa6a738556e44b30d7b5c3bbd5063dac871d25