Skip to content

Disable autofiling of PRs#1607

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

Disable autofiling of PRs#1607
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
@gregorydlogan gregorydlogan self-assigned this May 12, 2026
@github-actions
Copy link
Copy Markdown
Contributor

Use docker or podman to test this pull request locally.

Run test server using develop.opencast.org as backend:

podman run --rm -it -p 127.0.0.1:3000:3000 ghcr.io/opencast/admin-interface:pr-1607

Specify a different backend like stable.opencast.org:

podman run --rm -it -p 127.0.0.1:3000:3000 -e PROXY_TARGET=https://stable.opencast.org ghcr.io/opencast/admin-interface:pr-1607

It may take a few seconds for the interface to spin up.
It will then be available at http://127.0.0.1:3000.
For more options you can pass on to the proxy, take a look at the README.md.

@github-actions
Copy link
Copy Markdown
Contributor

This pull request is deployed at test.admin-interface.opencast.org/1607/2026-05-12_20-55-54/ .
It might take a few minutes for it to become available.

@gregorydlogan gregorydlogan merged commit 5dcfe61 into opencast:r/18.x May 12, 2026
9 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