Skip to content

Conversation

@Annhiluc
Copy link
Contributor

Description of the change

Update user-input.yml GitHub workflow to trigger additionally on PR comments.

Motivation

For easier triaging of open pull requests.

Type of change

Other

Checklist

  • I have performed a self-review of my code.
  • I have added detailed comments to my code where applicable.
  • I have verified that my change does not break existing code.
  • My PR is based on the latest changes of the main branch (if unsure, please run git pull --rebase upstream main).
  • I am familiar with the Google Style Guide for the language I have coded in.
  • I have read through the Contributing Guide and signed the Contributor License Agreement.

@Annhiluc Annhiluc requested a review from amirh March 26, 2025 23:57
@Annhiluc Annhiluc added status:triaged Issue/PR triaged to the corresponding sub-team p1 labels Mar 27, 2025
@MarkDaoust MarkDaoust merged commit e179614 into main Apr 14, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

p1 status:triaged Issue/PR triaged to the corresponding sub-team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants