Skip to content

Update Java units documentation for 2025 rewrite (#2725) #4

Update Java units documentation for 2025 rewrite (#2725)

Update Java units documentation for 2025 rewrite (#2725) #4

name: Publish Stable
on:
push:
branches:
- main
workflow_dispatch:
jobs:
publish:
runs-on: ubuntu-latest
if: ${{ github.repository_owner == 'wpilibsuite' }} && env.PUBLISH_STABLE == 'true'
env:
PUBLISH_STABLE: ${{ secrets.PUBLISH_STABLE }}
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Merge
run: |
git config user.name github-actions
git config user.email [email protected]
git config pull.ff only
git fetch origin main
(git checkout main && git pull) || git checkout -b main origin/main
git fetch origin stable
(git checkout stable && git pull) || git checkout -b stable origin/stable
if git merge-base --is-ancestor main stable; then
echo "No merge is necessary"
exit 0
fi;
git merge --ff-only main
- name: Push
if: env.PUBLISH_STABLE == 'true' || github.event.action == 'workflow_dispatch'
run: |
git push origin stable