Skip to content

Provide categorized PRs as JSON in outputs#1115

Merged
mikepenz merged 3 commits intodevelopfrom
feature/1113
May 25, 2023
Merged

Provide categorized PRs as JSON in outputs#1115
mikepenz merged 3 commits intodevelopfrom
feature/1113

Conversation

@mikepenz
Copy link
Owner

  • include new categorized output which contains a serialized JSON string with the categorized pull requests

@mikepenz mikepenz merged commit 8cdbe23 into develop May 25, 2023
@mikepenz mikepenz deleted the feature/1113 branch May 25, 2023 19:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant