Merge branch 'main' into main

This commit is contained in:
CuteDog5695
2024-11-10 14:46:36 +02:00
committed by GitHub
+27 -7
View File
@@ -22,13 +22,33 @@ jobs:
- name: Run Prettier
run: npx -y prettier ./domains -w --tab-width 2 --print-width 120
- name: Create branch
run: |
BRANCH_NAME="prettier-$(date +%s)"
echo "Generated branch: $BRANCH_NAME"
echo "BRANCH_NAME=$BRANCH_NAME" >> $GITHUB_ENV
git checkout -b "$BRANCH_NAME"
- name: Commit
uses: cpina/github-action-push-to-another-repository@main
with:
source-directory: "."
destination-github-username: is-a-dev
destination-repository-name: register
user-email: "bot@is-a.dev"
user-name: "is-a-dev-bot"
run: |
git config --local user.email "bot@is-a.dev"
git config --local user.name "is-a-dev-bot"
git add .
git commit -m "chore: apply formatting"
- name: Push
env:
API_TOKEN_GITHUB: ${{ secrets.BOT }}
run: |
git push -u origin "$BRANCH_NAME"
- name: Create pull request
id: create_pr
uses: peter-evans/create-pull-request@v5
with:
token: ${{ secrets.BOT }}
head: "$BRANCH_NAME"
base: main
title: "$BRANCH_NAME"
body: "Generated from https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}."
auto-merge: true