Open maxammann opened 2 months ago
@ahpaleus do you think we need or want something like this?
It's ok but not a high priority
If we're going to add prettier
for Markdown formatting, then IMO we should remove other markdown formatting tools like markdownlint
. Having two automated formatting tools yelling at each other in CI doesn't seem like the best use of our time.
PR Preview Action v1.4.7 :---: :rocket: Deployed preview to https://trailofbits.github.io/testing-handbook-preview/pr-preview/pr-37/ on branch
gh-pages
at 2024-05-02 15:53 UTC