[PR #156] [MERGED] Replace sonarwhal with webhint #820

New issue

Closed

opened 2026-03-03 01:30:19 +03:00 by kerem · 0 comments

kerem commented

2026-03-03 01:30:19 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/DavidAnson/markdownlint/pull/156
Author: @molant
Created: 11/25/2018
Status: ✅ Merged
Merged: 11/26/2018
Merged by: @DavidAnson

Base: master ← Head: patch-1

📝 Commits (1)

fd8542b Replace sonarwhal with webhint

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 README.md (+1 -1)

📄 Description

sonarwhal project got renamed to webhint

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/DavidAnson/markdownlint/pull/156 **Author:** [@molant](https://github.com/molant) **Created:** 11/25/2018 **Status:** ✅ Merged **Merged:** 11/26/2018 **Merged by:** [@DavidAnson](https://github.com/DavidAnson) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`fd8542b`](https://github.com/DavidAnson/markdownlint/commit/fd8542b7133cbbc4ca61a8a3fecc5ec924b9227b) Replace sonarwhal with webhint ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -1) </details> ### 📄 Description [sonarwhal project got renamed to webhint](https://medium.com/webhint/webhint-a-hinting-engine-for-the-web-ef0d3fa32ea9) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>