Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sync GitHub actions with other repos (DSpace & dspace-angular) #247

Merged
merged 1 commit into from
Nov 30, 2023

Conversation

tdonohue
Copy link
Member

This PR only updates GitHub Actions to add more automation to RestContract repo.

  • Add ability to port PR between branches to allow us to version REST Contract (there is now a dspace-7_x branch for 7.x and a main for 8.x)
  • Add label merge conflicts action to add merge conflict label to conflicting PRs
  • Add action to assign PRs back to their creator (just makes creator easier to see on Project boards)
  • Minor updates to existing action

No changes to the actual REST contract were made.

@tdonohue tdonohue force-pushed the update_github_actions branch from fed67b5 to 83d44a2 Compare November 30, 2023 17:53
@tdonohue tdonohue self-assigned this Nov 30, 2023
@tdonohue tdonohue added the port to dspace-7_x This PR needs to be ported to `dspace-7_x` branch for next bug-fix release label Nov 30, 2023
@tdonohue tdonohue added this to the 8.0 milestone Nov 30, 2023
@tdonohue
Copy link
Member Author

Added the necessary label to port these GitHub actions changes to dspace-7_x branch. This will be a test that these GitHub actions are working properly.

Merging immediately in order to test these actions are working.

@tdonohue tdonohue merged commit 9b6db6b into main Nov 30, 2023
@dspace-bot
Copy link

Successfully created backport PR for dspace-7_x:

@tdonohue tdonohue deleted the update_github_actions branch November 30, 2023 18:00
@tdonohue tdonohue removed the port to dspace-7_x This PR needs to be ported to `dspace-7_x` branch for next bug-fix release label Nov 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: ✅ Done
Development

Successfully merging this pull request may close these issues.

2 participants