Skip to content

Disable autofiling of PRs#1703

Merged
gregorydlogan merged 1 commit into
opencast:r/18.xfrom
gregorydlogan:r/18.x
May 12, 2026
Merged

Disable autofiling of PRs#1703
gregorydlogan merged 1 commit into
opencast:r/18.xfrom
gregorydlogan:r/18.x

Conversation

@gregorydlogan
Copy link
Copy Markdown
Member

This PR removes the automated upstream PR filing in favour of opencast/opencast#7637

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

This pull request is deployed at test.editor.opencast.org/1703/2026-05-12_20-49-43/ .
It might take a few minutes for it to become available.

@gregorydlogan gregorydlogan self-assigned this May 12, 2026
@gregorydlogan gregorydlogan merged commit d10a71e into opencast:r/18.x May 12, 2026
10 checks passed
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