[PR #12789] [MERGED] Add ServicingPipeline.ps1, a script I use to service Terminal #29220

Open
opened 2026-01-31 09:33:35 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/12789
Author: @DHowett
Created: 3/29/2022
Status: Merged
Merged: 3/30/2022
Merged by: @DHowett

Base: mainHead: dev/duhowett/servicing-pipeline-script


📝 Commits (2)

  • df1e585 Add ServicingPipeline.ps1, a script I use to service Terminal
  • 7353fee Move signing to commit phase, spell, module

📊 Changes

2 files changed (+128 additions, -0 deletions)

View changed files

📝 .github/actions/spelling/excludes.txt (+1 -0)
tools/ReleaseEngineering/ServicingPipeline.ps1 (+127 -0)

📄 Description

This script takes pull requests from a project board, cherry-picks them,
and updates the project board. It also yells at you if there are
conflicts to resolve, and generally tries to keep track of everything.
It is quite cool.


🔄 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/12789 **Author:** [@DHowett](https://github.com/DHowett) **Created:** 3/29/2022 **Status:** ✅ Merged **Merged:** 3/30/2022 **Merged by:** [@DHowett](https://github.com/DHowett) **Base:** `main` ← **Head:** `dev/duhowett/servicing-pipeline-script` --- ### 📝 Commits (2) - [`df1e585`](https://github.com/microsoft/terminal/commit/df1e585b79d7b70887f8bb57da0fca40e20abfd4) Add ServicingPipeline.ps1, a script I use to service Terminal - [`7353fee`](https://github.com/microsoft/terminal/commit/7353fee3eb092eb26d646da1478fc8e3b121bec6) Move signing to commit phase, spell, module ### 📊 Changes **2 files changed** (+128 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `.github/actions/spelling/excludes.txt` (+1 -0) ➕ `tools/ReleaseEngineering/ServicingPipeline.ps1` (+127 -0) </details> ### 📄 Description This script takes pull requests from a project board, cherry-picks them, and updates the project board. It also yells at you if there are conflicts to resolve, and generally tries to keep track of everything. It is quite cool. --- <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:33:35 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#29220