fix new repo paths and re-add removed labels

.github/labels.yml

@@ -45,6 +45,17 @@
   description: Pull requests that update a dependency file or issues that track it
   color: 0366d6
 
+- name: simulation
+  color: B60205
+  description: ''
+- name: triage
+  color: 0e8a16
+  description: ''
+- name: engineering
+  color: 7D35FD
+  description: ''
+  name: Infra
+
 # Everything below this comment is specific to Codex (modify description )
 
 ## Internal Codex Sub-team Labels

.github/workflows/sync-labels.yml

@@ -56,5 +56,14 @@ jobs:
             codex-storage/infra-codex
             codex-storage/infra-docs
             codex-storage/codex-incentives
+            codex-storage/apatheia
+            codex-storage/nim-chroprof
+            codex-storage/codex-testnet-starter
+            codex-storage/docs.codex.storage
+            codex-storage/guide.codex.storage
+            codex-storage/nim-circom-compat
+            codex-storage/circom-compat-ffi
+            codex-storage/circom-compat
+            codex-storage/nim-serde
           token: ${{ secrets.SYNC_LABELS2 }}
-          prune: true
+          prune: false