Skip to content

Move to projectbot for automatic labelling of issues and PRs #671

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

rockdaboot
Copy link
Contributor

@rockdaboot rockdaboot commented Jun 12, 2025

Fixes #669 using github/issue-labeler for automatic labeling of issues and PRs.

Needs to be merged before it can actually be tested!?

Copy link
Contributor

🤖 GitHub comments

Expand to view the GitHub comments

Just comment with:

  • run docs-build : Re-trigger the docs validation. (use unformatted text in the comment!)

@github-actions github-actions bot added the aws-λ-extension AWS Lambda Extension label Jun 12, 2025
@rockdaboot
Copy link
Contributor Author

@v1v Can you take a look. Is there a different way to set labels and add issues/PRs to a board that you prefer?

}

- name: Run Project Bot
uses: philschatz/project-bot@v1
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This project has not been updated for the last 6 years:

I'd say we should not use it

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You are right. Not sure what i looked at, but remember changes in the last weeks. My fault.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Still looking for precedence, to not having to reinvent the wheel. Any suggestions?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some other teams use:

However, It's being a while since I have looked at the state, I know for the labeler Sylvain has been recently improving it

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Using the github/issue-labeler now.

@rockdaboot rockdaboot changed the title [TEST] Move to projectbot for automatic labelling of issues and PRs Move to projectbot for automatic labelling of issues and PRs Jun 13, 2025
@rockdaboot rockdaboot marked this pull request as ready for review June 13, 2025 17:37
@rockdaboot rockdaboot requested a review from v1v June 13, 2025 17:37
@v1v v1v requested review from infra-ci-x8asd9 and a team and removed request for infra-ci-x8asd9 July 17, 2025 08:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
aws-λ-extension AWS Lambda Extension
Projects
None yet
Development

Successfully merging this pull request may close these issues.

CI: Assigning PRs to the internal project board is broken
2 participants