Skip to content

[GitHub Actions] Fix our broken port_pr action after the upgrade to checkout@v7 (Angular version)#5967

Merged
tdonohue merged 1 commit into
DSpace:mainfrom
tdonohue:update_port_pr_settings
Jul 17, 2026
Merged

[GitHub Actions] Fix our broken port_pr action after the upgrade to checkout@v7 (Angular version)#5967
tdonohue merged 1 commit into
DSpace:mainfrom
tdonohue:update_port_pr_settings

Conversation

@tdonohue

Copy link
Copy Markdown
Member

References

Description

See description of DSpace/DSpace#12812. This PR is identical to that PR, it's just being copied to our dspace-angular repository settings

… why. Also tweak the run statement to only trigger job if a "port to" label exists.
@tdonohue tdonohue added this to the 11.0 milestone Jul 17, 2026
@tdonohue tdonohue added 1 APPROVAL pull request only requires a single approval to merge port to dspace-8_x This PR needs to be ported to `dspace-8_x` branch for next bug-fix release port to dspace-9_x This PR needs to be ported to `dspace-9_x` branch for next bug-fix release port to dspace-10_x This PR needs to be ported to `dspace-10_x` branch for next bug-fix release labels Jul 17, 2026
@tdonohue

Copy link
Copy Markdown
Member Author

Merging immediately as this is a copy of DSpace/DSpace#12812 , which was already approved.

@tdonohue
tdonohue merged commit 06432cb into DSpace:main Jul 17, 2026
16 checks passed
@dspace-bot

Copy link
Copy Markdown
Contributor

Backport failed for dspace-8_x, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin dspace-8_x
git worktree add -d .worktree/backport-5967-to-dspace-8_x origin/dspace-8_x
cd .worktree/backport-5967-to-dspace-8_x
git switch --create backport-5967-to-dspace-8_x
git cherry-pick -x 09a663b506eb91c4a2c04ed6b7b2f3dbca2e4e3a

@dspace-bot

Copy link
Copy Markdown
Contributor

Backport failed for dspace-9_x, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin dspace-9_x
git worktree add -d .worktree/backport-5967-to-dspace-9_x origin/dspace-9_x
cd .worktree/backport-5967-to-dspace-9_x
git switch --create backport-5967-to-dspace-9_x
git cherry-pick -x 09a663b506eb91c4a2c04ed6b7b2f3dbca2e4e3a

@dspace-bot

Copy link
Copy Markdown
Contributor

@tdonohue tdonohue removed port to dspace-8_x This PR needs to be ported to `dspace-8_x` branch for next bug-fix release port to dspace-9_x This PR needs to be ported to `dspace-9_x` branch for next bug-fix release port to dspace-10_x This PR needs to be ported to `dspace-10_x` branch for next bug-fix release labels Jul 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

1 APPROVAL pull request only requires a single approval to merge code task

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

2 participants