paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-01 12:33:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs: Remove 'Hotspots' subsystem doc.

Browse Source 
We no longer have 'Hotspots' to introduce users
to important UI elements.

We now use one time banners for it.
This commit is contained in:
Prakhar Pratyush
2024-06-18 14:17:19 +05:30
committed by Tim Abbott
parent bfc8cdb8f6
commit 0d59ff8c96
4 changed files with 0 additions and 83 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tools/linter_lib/custom_check.py
View File

@@ -106,9 +106,6 @@ markdown_whitespace_rules: List["Rule"] = [
{
"pattern": "^#+[A-Za-z0-9]",
"description": "Missing space after # in heading",
"exclude_line": {
("docs/subsystems/hotspots.md", "#hotspot_new_hotspot_name_icon {"),
},
"good_lines": ["### some heading", "# another heading"],
"bad_lines": ["###some heading", "#another heading"],
},