mirror of
https://github.com/microsoft/terminal.git
synced 2025-12-25 02:01:28 -05:00
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.