Additional documentation for workflows

2025-06-12 03:33:34 -05:00
parent fb9bf59a7e
commit 974a78919d
5 changed files with 23 additions and 0 deletions
@@ -1,7 +1,19 @@
+# Applies the following labels to pull requests whenver they are created or modified:
+#  - pr: documentation
+#  - pr: haxe
+#  - pr: github
+#  - size: tiny
+#  - size: small
+#  - size: medium
+#  - size: large
+#  - size: huge
+# see .github/labeler.yml and .github/changed-lines-count-labeler.yml
+
 name: "Pull Request Labeler"
 on:
 - pull_request_target

+
 jobs:
  # Apply labels to pull requests based on which files were edited
  labeler: