Skip to content

Properly label GHA dependeabot updates#1701

Merged
gregorydlogan merged 1 commit into
opencast:developfrom
gregorydlogan:t/gha-labels
May 14, 2026
Merged

Properly label GHA dependeabot updates#1701
gregorydlogan merged 1 commit into
opencast:developfrom
gregorydlogan:t/gha-labels

Conversation

@gregorydlogan
Copy link
Copy Markdown
Member

The current dependabot config creates PRs without appropriate labels. This fixes that.

@gregorydlogan gregorydlogan added the type:infrastructure Build process, deployment, workflows label May 7, 2026
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 7, 2026

This pull request is deployed at test.editor.opencast.org/1701/2026-05-07_19-57-13/ .
It might take a few minutes for it to become available.

@gregorydlogan gregorydlogan self-assigned this May 14, 2026
@gregorydlogan gregorydlogan merged commit 45f8bc4 into opencast:develop May 14, 2026
10 checks passed
@gregorydlogan gregorydlogan deleted the t/gha-labels branch May 14, 2026 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:infrastructure Build process, deployment, workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant