markdownlint #13
n
commented 2024-10-03 23:57:27 +02:00
Owner
No description provided.
n
added 2 commits 2024-10-03 23:57:29 +02:00
add markdownlint to CI
42eade53b6
markdownlint fixes
a33f4e2e97
All checks were successful
check / check (push) Successful in 7s
Details
n
merged commit a33f4e2e97 into main 2024-10-03 23:57:42 +02:00
n
deleted branch md 2024-10-03 23:57:45 +02:00
Loading…
Reference in a new issue
No description provided.
Delete branch "md"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?