Skip to content

Comments

[1877] Script to populate PR labels from linked issues#1878

Open
tjhunter wants to merge 6 commits intodevelopfrom
tjh/dev/1877-pr-labels
Open

[1877] Script to populate PR labels from linked issues#1878
tjhunter wants to merge 6 commits intodevelopfrom
tjh/dev/1877-pr-labels

Conversation

@tjhunter
Copy link
Collaborator

Description

Runs a cron task due to permission issues scoping it to each contributors.

Issue Number

Closes #1877

Checklist before asking for review

  • I have performed a self-review of my code
  • My changes comply with basic sanity checks:
    • I have fixed formatting issues with ./scripts/actions.sh lint
    • I have run unit tests with ./scripts/actions.sh unit-test
    • I have documented my code and I have updated the docstrings.
    • I have added unit tests, if relevant
  • I have tried my changes with data and code:
    • I have run the integration tests with ./scripts/actions.sh integration-test
    • (bigger changes) I have run a full training and I have written in the comment the run_id(s): launch-slurm.py --time 60
    • (bigger changes and experiments) I have shared a hegdedoc in the github issue with all the configurations and runs for this experiments
  • I have informed and aligned with people impacted by my change:
    • for config changes: the MatterMost channels and/or a design doc
    • for changes of dependencies: the MatterMost software development channel

@github-actions github-actions bot added the infra Issues related to infrastructure label Feb 19, 2026
@tjhunter tjhunter removed the infra Issues related to infrastructure label Feb 19, 2026
@github-actions github-actions bot added the infra Issues related to infrastructure label Feb 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infra Issues related to infrastructure

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

Add labels to pull requests

1 participant