Merge branch 'dev' of https://github.com/takos22/codingame into dev

takos22 · takos22 · commit c99f987a1614 · 2023-11-19T17:52:13.000+01:00
diff --git a/.github/pr-badge.yml b/.github/pr-badge.yml
@@ -0,0 +1,9 @@
+- label: "Error"
+  message: "Wrong target branch"
+  color: "red"
+  when: "$targetBranchName != 'dev'"
+  
+- label: "Warn"
+  message: "Missing labels"
+  color: "yellow"
+  when: "$payload.pull_request.labels.length === 0"
