Remove automerge (#108)

* Remove auto-merge * update gitignore
JuliaSmoothOptimizers · Feb 26, 2024 · efadd72 · efadd72
1 parent 1f127a9
commit efadd72
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 12 deletions.
diff --git a/.github/auto-merge.yml b/.github/auto-merge.yml
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,7 @@
 *.jl.mem
 docs/build
 docs/site
+Manifest.toml
+test/Manifest.toml
+docs/Manifest.toml
+docs/build