Skip to content

chore: bump version to 0.0.10 #10

chore: bump version to 0.0.10

chore: bump version to 0.0.10 #10

Workflow file for this run

# Backmerge Bot - Trigger Only on Version Bump Commits
#
# This workflow automatically creates a pull request to backmerge changes from the main branch
# to the develop branch, but only when triggered by version bump commits.
# This ensures that version updates made in production are properly synchronized back to the
# development branch, maintaining version consistency across branches.
name: Backmerge main to develop after version bump
# Trigger conditions for the workflow
on:
push:
branches:
# Only trigger on pushes to the main branch
- main
# Add permissions needed for PR creation
permissions:
contents: write
pull-requests: write
jobs:
backmerge:
runs-on: ubuntu-latest
# Only run this workflow when the commit message contains 'bump version'
# This prevents unnecessary backmerges for regular commits to main
if: contains(github.event.head_commit.message, 'bump version')
steps:
# Step 1: Check out the repository code
# This gives the workflow access to the repository contents
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0 # Fetch all history for proper branch comparison
# Step 1.5: Ensure we have the latest develop branch and check if there are differences
- name: Fetch develop branch
run: |
git fetch origin develop:develop
git branch -a
echo "Current branch: $(git branch --show-current)"
echo "Develop branch commit: $(git rev-parse develop)"
echo "Main branch commit: $(git rev-parse main)"
- name: Check for differences between main and develop
id: check_diff
run: |
if git diff --quiet main develop; then
echo "No differences found between main and develop branches."
echo "has_diff=false" >> $GITHUB_OUTPUT
else
echo "Found differences between main and develop branches."
echo "has_diff=true" >> $GITHUB_OUTPUT
fi
# Step 2: Create an automated pull request for the backmerge
# Uses the peter-evans/create-pull-request action to generate a PR
- name: Create Backmerge PR
uses: peter-evans/create-pull-request@v5
if: steps.check_diff.outputs.has_diff == 'true'
with:
# Use the default GitHub token for authentication
token: ${{ secrets.GITHUB_TOKEN }}
# Target branch that will receive the changes
base: develop
# Name of the temporary branch that will be created for this PR
branch: auto/backmerge-main-to-develop
# Title of the pull request with emoji for better visibility
title: "🔁 Backmerge: main → develop (after version bump)"
# Detailed description of what this PR does
body: |
This automated PR syncs the **develop** branch with **main** after a production version bump.
Triggered by commit:
`${{ github.event.head_commit.message }}`
# Commit message for the changes in this PR
commit-message: "chore(backmerge): sync main into develop after version bump"
# Clean up by deleting the temporary branch after the PR is merged or closed
delete-branch: true
- name: PR Creation Status
if: always()
run: |
echo "has_diff value: ${{ steps.check_diff.outputs.has_diff }}"
if [ "${{ steps.check_diff.outputs.has_diff }}" != 'true' ]; then
echo "No PR created because there are no differences between main and develop branches."
else
echo "PR creation attempted. If no PR was created, check GitHub token permissions."
echo "GitHub token permissions: ${{ toJson(github.token_permissions) }}"
fi