casraf/DefinitelyTyped
1
0
Fork 0
mirror of https://github.com/chenasraf/DefinitelyTyped.git synced 2026-05-18 01:49:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

🤖 Merge PR #61724 Fix link to dtslint repo by @BendingBender

Browse Source
This commit is contained in:
Dimitri B
2022-08-15 16:43:38 +02:00
committed by GitHub
parent d029fa6506
commit 8905bd2bf3
9 changed files with 23 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/admin.md
View File

@@ -115,7 +115,7 @@ The process of handling PRs:
- [DT projects](https://github.com/DefinitelyTyped/DefinitelyTyped/projects/5) — an automated board saying where open PRs live
- [dt-merge-bot](https://github.com/DefinitelyTyped/dt-mergebot/) — the bot which sets the labels on PRs, and update's project status
- [focus-dt](https://github.com/DefinitelyTyped/focus-dt) — a tool which controls chrome to load up the next PR to review, so you can focus
- [dtslint](https://github.com/microsoft/dtslint) — the CLI tool used to validate PRs on Definitely Typed
- [dtslint](https://github.com/microsoft/DefinitelyTyped-tools/tree/master/packages/dtslint) — the CLI tool used to validate PRs on Definitely Typed
The process of deploying changes: