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.

Sign up for GitHub

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

Jump to bottom

prospero: rm role and move content to wildfly_utils #227

Merged
merged 1 commit into from
Apr 15, 2024
Merged

prospero: rm role and move content to wildfly_utils #227

merged 1 commit into from
Apr 15, 2024

Conversation

rpelisse
Copy link
Contributor

No description provided.

@rpelisse rpelisse marked this pull request as draft April 15, 2024 09:28
@rpelisse rpelisse marked this pull request as ready for review April 15, 2024 13:13
guidograzioli
guidograzioli approved these changes Apr 15, 2024
View reviewed changes
Copy link
Member

@guidograzioli guidograzioli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGMT!

@guidograzioli guidograzioli merged commit ab5e98d into main Apr 15, 2024
16 checks passed
@guidograzioli guidograzioli added the major_changes Major changes mean the user can CHOOSE to make a change when they update but do not have to label Apr 15, 2024
@rpelisse
Copy link
Contributor Author

Fixes #224

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@guidograzioli guidograzioli guidograzioli approved these changes

Assignees
No one assigned
Labels
major_changes Major changes mean the user can CHOOSE to make a change when they update but do not have to
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@rpelisse @guidograzioli