Skip to content

Adding a Pull Request Labeler workflow#2503

Merged
vvolkgang merged 3 commits intomasterfrom
feature/pr_labeler
May 4, 2023
Merged

Adding a Pull Request Labeler workflow#2503
vvolkgang merged 3 commits intomasterfrom
feature/pr_labeler

Conversation

@vvolkgang
Copy link
Member

Type of change

  • Bug fix
  • New feature development
  • Tech debt (refactoring, code cleanup, dependency upgrades, etc)
  • Build/deploy pipeline (DevOps)
  • Other

Objective

This new workflow will add platform labels based on the PR file path changes.

Before you submit

  • Please check for formatting errors (dotnet format --verify-no-changes) (required)
  • Please add unit tests where it makes sense to do so (encouraged but not required)
  • If this change requires a documentation update - notify the documentation team
  • If this change has particular deployment requirements - notify the DevOps team

@vvolkgang vvolkgang force-pushed the feature/pr_labeler branch 2 times, most recently from b61da88 to 298c5e2 Compare May 4, 2023 20:42
This workflow will add labels based on the PR file path changes
@vvolkgang vvolkgang force-pushed the feature/pr_labeler branch from 298c5e2 to d00e5bb Compare May 4, 2023 21:43
joseph-flinn
joseph-flinn previously approved these changes May 4, 2023
@joseph-flinn joseph-flinn dismissed their stale review May 4, 2023 21:44

missed something

Co-authored-by: Joseph Flinn <58369717+joseph-flinn@users.noreply.github.com>
@vvolkgang vvolkgang merged commit a727799 into master May 4, 2023
@vvolkgang vvolkgang deleted the feature/pr_labeler branch May 4, 2023 21:48
@vvolkgang vvolkgang mentioned this pull request May 4, 2023
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants