From 7267a3592441956437e732ce367570640d45fabe Mon Sep 17 00:00:00 2001
From: Jakob Moser <moser@cl.uni-heidelberg.de>
Date: Mon, 18 Mar 2024 18:33:46 +0100
Subject: [PATCH] Fix typo

---
 default_labels.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/default_labels.json b/default_labels.json
index d998257..e3155ac 100644
--- a/default_labels.json
+++ b/default_labels.json
@@ -4,7 +4,7 @@
     {"name": "Progress: Stale", "description": "Issues that were in development once, but that haven't been worked on for a long time", "color": "#ad8d43"},
     {"name": "Help wanted", "description": "An issue that new contributors could help solve. This doesn't necessarily mean that the issue is easy (not even considering that easiness is a very subjective thing), but more that the issue could give an overview of the architecture, is reasonably well-defined (so you know when you're done) or documentation exists etc.", "color": "#5cb85c"},
     {"name": "Test", "description": "Everything about (manual, unit, integration, end-to-end) tests", "color": "#5843ad"},
-    {"name": "Priorty: High", "description": "Anything that needs to be done soon or is a big issue. Major cornerstones of a project should usually be high priority issues.", "color": "#ed8b02", "priority": 0},
-    {"name": "Priorty: Medium", "description": "Anything that needs to be done sooner or later.", "color": "#009966", "priority": 1},
-    {"name": "Priorty: Low", "description": "Anything that should be done sometime, but is really not that important", "color": "#6699cc", "priority": 2}
+    {"name": "Priority: High", "description": "Anything that needs to be done soon or is a big issue. Major cornerstones of a project should usually be high priority issues.", "color": "#ed8b02", "priority": 0},
+    {"name": "Priority: Medium", "description": "Anything that needs to be done sooner or later.", "color": "#009966", "priority": 1},
+    {"name": "Priority: Low", "description": "Anything that should be done sometime, but is really not that important", "color": "#6699cc", "priority": 2}
 ]
-- 
GitLab