Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore(markdown-lint): enable the no-duplicate-heading rule #17582

Merged
merged 6 commits into from
Feb 17, 2024
Merged

chore(markdown-lint): enable the no-duplicate-heading rule #17582

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
e23cdf6
chore(markdown-lint): enable the `no-duplicate-heading` rule
yin1999 Dec 22, 2023
e028c6a
Merge branch 'main' into dedup-heading-enable
yin1999 Jan 16, 2024
d16d461
Update .markdownlint.jsonc
yin1999 Jan 16, 2024
f1c41e9
Merge branch 'main' into dedup-heading-enable
yin1999 Feb 11, 2024
3565953
remove the new duplicated headings
yin1999 Feb 11, 2024
5ddb659
Update translation
potappo Feb 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 3 additions & 5 deletions .markdownlint.jsonc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,11 +15,9 @@
"spaces_per_tab": 2,
},
"line-length": false,
"no-duplicate-heading": false,
// XXX Replace with the following when ready:
// "no-duplicate-heading": {
// "allow_different_nesting": true
// },
"no-duplicate-heading": {
"siblings_only": true,
},
"single-title": {
"front_matter_title": "^\\s*title\\s*[:=]",
},
Expand Down
4 changes: 1 addition & 3 deletions files/ja/games/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,5 @@ MDN ゲーム開発センターにようこそ! サイトのこのエリアで
- : ファイルサイズが 13 KB 以内であること、という制約のもと開発された HTML ゲームを対象とした JavaScript の競技プログラミングサイトです。登録されているゲームは全て、GitHub に公開されています。
- [Mozilla Hacks Blog](https://hacks.mozilla.org/category/games/)
- : Mozilla Hacks ブログの Games カテゴリには、ゲーム開発に関する興味深い記事が掲載されています。

## 関連情報

- [Games section on wiki.mozilla.org](https://wiki.mozilla.org/Platform/Games)
- : Mozilla プラットフォームにおけるゲームへの関与に関する情報を含む Wiki ページ。
Loading