dev-ship
Use when the user asks for the dev ship workflow to commit, push, create a PR, update Linear, and optionally merge. Triggers on /dev ship or when the user says "ship it", "commit and push", "create a PR", "we're done". Handles the full git + Linear + GitHub flow.
Pinned to revision e342aceb2d83, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.