Skip dev build on production release commits (#919)

* Skip dev build on production release commits

Add [skip ci] to the release commit message so pushing
it to main doesn't trigger the release-dev workflow.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

* Update CHANGELOG.md for #919

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

Author: brendan-kellam

.github/workflows/release-prod.yml

@@ -134,7 +134,7 @@ jobs:
       - name: Commit changes
         run: |
           git add CHANGELOG.md packages/shared/src/version.ts
-          git commit -m "Release v$VERSION"
+          git commit -m "[skip ci] Release v$VERSION"
 
       - name: Push to temporary branch
         id: push_temp_branch

CHANGELOG.md

@@ -6,6 +6,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
+- Skip redundant dev build when production release commits are pushed to main. [#919](https://github.com/sourcebot-dev/sourcebot/pull/919)
 
 ## [4.11.6] - 2026-02-21