Skip to content

Fix cutting a release on develop#1472

Merged
gregorydlogan merged 1 commit intoopencast:developfrom
gregorydlogan:develop
Nov 4, 2025
Merged

Fix cutting a release on develop#1472
gregorydlogan merged 1 commit intoopencast:developfrom
gregorydlogan:develop

Conversation

@gregorydlogan
Copy link
Member

The release tag cutting script fails when attempting to cut a release on develop since the special handling in that case did not anticipate the presence of multiple release branches already...

@gregorydlogan gregorydlogan added type:bug Something isn't working type:github_actions Pull requests that update GitHub Actions code labels Nov 4, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Nov 4, 2025

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/opencast-admin-interface:pr-1472

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/opencast-admin-interface:pr-1472

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
Contributor

github-actions bot commented Nov 4, 2025

This pull request is deployed at test.admin-interface.opencast.org/1472/2025-11-04_20-19-09/ .
It might take a few minutes for it to become available.

@gregorydlogan gregorydlogan merged commit 8e878c3 into opencast:develop Nov 4, 2025
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:bug Something isn't working type:github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant