starred/terminal
1
0
Fork 0
mirror of https://github.com/microsoft/terminal.git synced 2026-02-04 05:35:20 +00:00
Code Issues 19.0k Packages Projects Releases 20 Wiki Activity

[PR #5124] [MERGED] ci: update spelling allowlists/dictionaries #26119

New Issue
Open
opened 2026-01-31 09:14:04 +00:00 by claunia · 0 comments
claunia commented 2026-01-31 09:14:04 +00:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/5124
Author: @jsoref
Created: 3/25/2020
Status: ✅ Merged
Merged: 3/25/2020
Merged by: @DHowett-MSFT

Base: master ← Head: whitelist

📝 Commits (1)

  • e80b602 Updating whitelists/dictionaries

📊 Changes

4 files changed (+15 additions, -0 deletions)

View changed files

➕ .github/actions/spell-check/dictionary/math.txt (+2 -0)
📝 .github/actions/spell-check/dictionary/microsoft.txt (+1 -0)
📝 .github/actions/spell-check/dictionary/names.txt (+3 -0)
📝 .github/actions/spell-check/whitelist/whitelist.txt (+9 -0)

📄 Description

This is just some minor whitelisting/additions to dictionaries to catch up between when the spell checker PR was written and when it was finally merged.

This is basically taking the output from 499f24a29e (commitcomment-38053489) and putting it into files.

The choice of files is arbitrary. I'm adding a math.txt dictionary because it's a reasonable example.

The goal here is to get master to a green check mark

Summary of the Pull Request

References

PR Checklist

  • Closes #xxx
  • CLA signed. If not, go over here and sign the CLA
  • Tests added/passed
  • Requires documentation to be updated
  • I've discussed this with core contributors already. If not checked, I'm ready to accept this work might be rejected in favor of a different grand plan. Issue number where discussion took place: #xxx

Detailed Description of the Pull Request / Additional comments

Validation Steps Performed

When I pushed this commit to my fork, the spell check action ran and gave me a check mark:
https://github.com/jsoref/terminal/runs/534783276

🔄 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/microsoft/terminal/pull/5124 **Author:** [@jsoref](https://github.com/jsoref) **Created:** 3/25/2020 **Status:** ✅ Merged **Merged:** 3/25/2020 **Merged by:** [@DHowett-MSFT](https://github.com/DHowett-MSFT) **Base:** `master` ← **Head:** `whitelist` --- ### 📝 Commits (1) - [`e80b602`](https://github.com/microsoft/terminal/commit/e80b6029b4851be7830a9a1eecee720c23532790) Updating whitelists/dictionaries ### 📊 Changes **4 files changed** (+15 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.github/actions/spell-check/dictionary/math.txt` (+2 -0) 📝 `.github/actions/spell-check/dictionary/microsoft.txt` (+1 -0) 📝 `.github/actions/spell-check/dictionary/names.txt` (+3 -0) 📝 `.github/actions/spell-check/whitelist/whitelist.txt` (+9 -0) </details> ### 📄 Description This is just some minor whitelisting/additions to dictionaries to catch up between when the spell checker PR was written and when it was finally merged. This is basically taking the output from https://github.com/microsoft/terminal/commit/499f24a29e6f321d6c4da8eb22c2ef0d30f13770#commitcomment-38053489 and putting it into files. The choice of files is arbitrary. I'm adding a `math.txt` dictionary because it's a reasonable example. The goal here is to get master to a green check mark ## Summary of the Pull Request ## References ## PR Checklist * [ ] Closes #xxx * [x] CLA signed. If not, go over [here](https://cla.opensource.microsoft.com/microsoft/Terminal) and sign the CLA * [ ] Tests added/passed * [ ] Requires documentation to be updated * [ ] I've discussed this with core contributors already. If not checked, I'm ready to accept this work might be rejected in favor of a different grand plan. Issue number where discussion took place: #xxx ## Detailed Description of the Pull Request / Additional comments ## Validation Steps Performed When I pushed this commit to my fork, the spell check action ran and gave me a check mark: https://github.com/jsoref/terminal/runs/534783276 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:14:04 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
⛺ Reserved
A11yCO
A11yMAS
A11ySev1
A11ySev2
A11ySev3
A11yTTValidated
A11yUsable
A11yVoiceAccess
A11yWCAG
Area-Accessibility
Area-AtlasEngine
Area-AzureShell
Area-Build
Area-Build
Area-Chat
Area-CmdPal
Area-CodeHealth
Area-Commandline
Area-CookedRead
Area-DefApp
Area-Extensibility
Area-Fonts
Area-GroupPolicy
Area-i18n
Area-Input
Area-Interaction
Area-Interop
Area-Localization
Area-Output
Area-Performance
Area-Portable
Area-Quality
Area-Remoting
Area-Rendering
Area-Schema
Area-Server
Area-Settings
Area-SettingsUI
Area-ShellExtension
Area-ShellExtension
Area-ShellExtension
Area-Suggestions
Area-Suggestions
Area-TerminalConnection
Area-TerminalControl
Area-Theming
Area-UserInterface
Area-VT
Area-Windowing
Area-WPFControl
AutoMerge
Blocking-Ingestion
Culprit-Centennial
Culprit-WinUI
Disability-All
Disability-Blind
Disability-LowVision
Disability-Mobility
External-Blocked-WinUI3
Fixed
Gathering-Data
good first issue
HCL-E+D
HCL-WindowsTerminal
Help Wanted
Impact-Compatibility
Impact-Compliance
Impact-Correctness
Impact-Visual
In-PR
InclusionBacklog
InclusionBacklog-Windows TerminalWin32
InclusionCommitted-202206
Issue-Bug
Issue-Docs
Issue-Feature
Issue-Feature
Issue-Question
Issue-Samples
Issue-Scenario
Issue-Task
Needs-Attention
Needs-Author-Feedback
Needs-Bisect
Needs-Discussion
Needs-Repro
Needs-Tag-Fix
Needs-Tag-Fix
Needs-Triage
No-Recent-Activity
Priority-0
Priority-1
Priority-2
Priority-3
Product-Cmd.exe
Product-Colortool
Product-Colortool
Product-Colortool
Product-Conhost
Product-Conpty
Product-Meta
Product-Powershell
Product-Terminal
Product-WSL
pull-request
Mirrored from GitHub Pull Request
 Resolution-Answered
Resolution-By-Design
Resolution-Duplicate
Resolution-External
Resolution-Fix-Available
Resolution-Fix-Committed
Resolution-No-Repro
Resolution-Won't-Fix
Severity-Blocking
Severity-Crash
Severity-DataLoss
spam
this-will-be-a-breaking-change
Tracking-External
WindowsTerminal_Win32
Work-Item
zAskModeBug
zInbox-Bug
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
claunia
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#26119
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?