プレイグラウンド、サンドボックス、使い捨てスクリプト置き場
0

Configure Feed

Select the types of activity you want to include in your feed.

create update-empty-branch

Kohei Watanabe (Oct 30, 2023, 5:44 PM +0900) 962b721a 24ac4ed7

+18
+18
.github/workflows/update-empty-branch.yml
··· 1 + name: update-empty-branch 2 + on: 3 + workflow_dispatch: 4 + jobs: 5 + main: 6 + runs-on: ubuntu-latest 7 + steps: 8 + - uses: actions/checkout@v4 9 + with: 10 + fetch-depth: 0 11 + - run: | 12 + git worktree add --track -b empty empty origin/empty 13 + rm -rf empty/* 14 + git config user.name bot 15 + git config user.email '<>' 16 + git -C empty add --all 17 + git -C empty commit --allow-empty --message "based on $(git rev-parse @)" 18 + git -C empty push origin empty