[PR #1522] [MERGED] Add check-terms script to check known terms #1572

New Issue

2025-11-06T07:56:42-06:00

GiteaMirror commented

2025-11-06 07:56:42 -06:00

📋 Pull Request Information

Original PR: https://github.com/rockerBOO/awesome-neovim/pull/1522
Author: @rockerBOO
Created: 4/27/2025
Status: ✅ Merged
Merged: 4/27/2025
Merged by: @rockerBOO

Base: main ← Head: check-terms

📝 Commits (2)

3f28b7c Add known terms
7bff5ad Fix path

📊 Changes

3 files changed (+78 additions, -6 deletions)

View changed files

➕ .github/scripts/check-terms.sh (+65 -0)
📝 .github/workflows/typos.yml (+12 -6)
➕ .gitignore (+1 -0)

📄 Description

Help identify terms in description that may need to be fixed.

  ["tree-sitter"]="Tree-sitter"
  ["nvim"]="Neovim"
  ["neovim"]="Neovim"
  ["NeoVim"]="Neovim"
  ["lua"]="Lua"
  ["lsp"]="LSP"
  ["ts"]="TS"
  ["yaml"]="YAML"

_{🔄 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/rockerBOO/awesome-neovim/pull/1522 **Author:** [@rockerBOO](https://github.com/rockerBOO) **Created:** 4/27/2025 **Status:** ✅ Merged **Merged:** 4/27/2025 **Merged by:** [@rockerBOO](https://github.com/rockerBOO) **Base:** `main` ← **Head:** `check-terms` --- ### 📝 Commits (2) - [`3f28b7c`](https://github.com/rockerBOO/awesome-neovim/commit/3f28b7c44a1bfd19f185a38cd79f92c5f5fc934e) Add known terms - [`7bff5ad`](https://github.com/rockerBOO/awesome-neovim/commit/7bff5adaaf7aeeff238c95a8048db818a2a623e7) Fix path ### 📊 Changes **3 files changed** (+78 additions, -6 deletions) <details> <summary>View changed files</summary> ➕ `.github/scripts/check-terms.sh` (+65 -0) 📝 `.github/workflows/typos.yml` (+12 -6) ➕ `.gitignore` (+1 -0) </details> ### 📄 Description Help identify terms in description that may need to be fixed. ``` ["tree-sitter"]="Tree-sitter" ["nvim"]="Neovim" ["neovim"]="Neovim" ["NeoVim"]="Neovim" ["lua"]="Lua" ["lsp"]="LSP" ["ts"]="TS" ["yaml"]="YAML" ``` --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

GiteaMirror added the pull-request label 2025-11-06 07:56:42 -06:00

GiteaMirror closed this issue