Skip to content

Allow Removing Certain GFM Alert Types#435

Open
rdestefa wants to merge 1 commit into
commonmark:mainfrom
rdestefa:issue-431-disallow-github-alert-types
Open

Allow Removing Certain GFM Alert Types#435
rdestefa wants to merge 1 commit into
commonmark:mainfrom
rdestefa:issue-431-disallow-github-alert-types

Conversation

@rdestefa
Copy link
Copy Markdown
Contributor

@rdestefa rdestefa commented Jun 3, 2026

Implements #431

@rdestefa rdestefa force-pushed the issue-431-disallow-github-alert-types branch from 7ba63e2 to 4de8627 Compare June 3, 2026 02:24
@rdestefa rdestefa force-pushed the issue-431-disallow-github-alert-types branch 2 times, most recently from 4d37b9f to 9fb058c Compare June 4, 2026 05:46
@rdestefa
Copy link
Copy Markdown
Contributor Author

rdestefa commented Jun 4, 2026

@robinst Another quick PR if you have time. No rush though!

@rdestefa rdestefa force-pushed the issue-431-disallow-github-alert-types branch from 9fb058c to 2f4175c Compare June 4, 2026 05:49
@rdestefa rdestefa force-pushed the issue-431-disallow-github-alert-types branch from 2f4175c to 4256dc7 Compare June 4, 2026 05:52
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.

1 participant