Rename isengard projects

2023-08-03 09:06:20 +03:00 · 2023-08-03 09:06:20 +03:00 · db58691676
parent 64cedbb27e
commit db58691676
2 changed files with 3 additions and 3 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,5 +1,5 @@
 .*.swp
-artwork/
+artwork
 *.hi
 *.o
 prompt-history
--- a/lib/Projects.hs
+++ b/lib/Projects.hs
@ -76,8 +76,8 @@ projects =  [ adminProject "wrk-config"
            , workProject "gitlab-runners"
            , workProject "infra-inventory"
            , workProject "isengard"
-            , workProject "isengard-worktree-2"
-            , workProject "isengard-worktree-3"
+            , workProject "isengard-2"
+            , workProject "isengard-3"
            , workProject "jirawiz"
            , workProject "morannon"
            , workProject "mordor-ca"