Skip to content
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.

Sign up for GitHub

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

Jump to bottom

GH Action to auto assign PR and move it to the board #14196

Closed
wants to merge 1 commit into from
Closed

GH Action to auto assign PR and move it to the board #14196

wants to merge 1 commit into from

Conversation

NunoFilipeSantos
Copy link
Contributor

This GitHub Action will:

  • Automatically assign the author of a newly opened, reopened, or ready-for-review pull request to the pull request
  • Moves it to the "In Progress" column of the Focus Board.

The workflow excludes:

  • Pull requests labeled with "external contribution ⭐"
  • Checks if the pull request is already on the board before moving it to avoid duplicates.

@NunoFilipeSantos
Auto assign and move to board
8c1e834 
This GitHub Action will:

- Automatically assign the author of a newly opened, reopened, or ready-for-review pull request to the pull request 
- Moves it to the "In Progress" column of the Focus Board. 

The workflow excludes: 
- Pull requests labeled with "external contribution ⭐"
- Checks if the pull request is already on the board before moving it to avoid duplicates.
@NunoFilipeSantos NunoFilipeSantos self-assigned this May 8, 2023
@github-actions
Copy link

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label May 23, 2023
@NunoFilipeSantos NunoFilipeSantos removed the stale The issue/PR was marked as stale because it has been open for too long. label May 23, 2023
@github-actions
Copy link

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label Jun 19, 2023
@github-actions
Copy link

This pull request was closed due to a lack of activity for 7 days after it was stale.

@github-actions github-actions bot closed this Jun 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@NunoFilipeSantos NunoFilipeSantos

Labels
closed-due-inactivity stale The issue/PR was marked as stale because it has been open for too long.
Projects
Solidity Focus Board
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@NunoFilipeSantos