Skip to content

Fix markdown generation, make gated more secure.#58

Merged
coenm merged 21 commits intomainfrom
feature/fix-pr-pipeline
May 12, 2023
Merged

Fix markdown generation, make gated more secure.#58
coenm merged 21 commits intomainfrom
feature/fix-pr-pipeline

Conversation

@coenm
Copy link
Copy Markdown
Owner

@coenm coenm commented May 12, 2023

Fixes #57

@coenm coenm changed the title Fx markdown generation, make gated more secure. Fix markdown generation, make gated more secure. May 12, 2023
@coenm coenm merged commit 84b4b75 into main May 12, 2023
@coenm coenm deleted the feature/fix-pr-pipeline branch May 12, 2023 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bugfix markdown generation

2 participants