Add a label to git repos

glennj · January 11, 2025, 7:12pm

How would we feel about adding x:challenge/48in24 and x:challenge/12in23 labels to the org-wide labels file?

I know the horse has already left the barn, but it might help to categorize PRs.

exercism/org-wide-files/blob/main/.github/labels.yml

# --------------------------------------------------------------- #
# This is an auto-generated file - Do not manually edit this file #
# --------------------------------------------------------------- #

# This file is automatically generated by concatenating two files:
#
# 1. The Exercism-wide labels: defined in https://github.com/exercism/org-wide-files/blob/main/global-files/.github/labels.yml
# 2. The repository-specific labels: defined in the `.appends/.github/labels.yml` file within this repository.
#
# If any of these two files change, a pull request is automatically created containing a re-generated version of this file.
# Consequently, to change repository-specific labels you should update the `.appends/.github/labels.yml` file and _not_ this file.
#
# When the pull request has been merged, the GitHub labels will be automatically updated by the "Sync labels" workflow.
# This typically takes 5-10 minutes.

# --------------------------------------------------------------------- #
# These are the Exercism-wide labels which are shared across all repos. #
# --------------------------------------------------------------------- #

# The following Exercism-wide labels are used to show "tasks" on the website, which will point users to things they can contribute to.

This file has been truncated. show original

iHiD · January 12, 2025, 12:56am

I have no objections on principle. Is there something you’re wanting to understand/ascertain from doing this?

glennj · January 12, 2025, 3:00pm

Mainly gathering stats