File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3131 working-directory : ${{ inputs.docs }}
3232 shell : bash
3333 run : |
34- git config --local user.email "edgehog-machine@ispirata.com"
35- git config --local user.name "Edgehog Bot"
3634 git add .
3735 if git diff --cached --quiet; then
3836 echo "No documentation changes to commit."
Original file line number Diff line number Diff line change 9494 echo "${{ secrets.publish-key }}" | ssh-add -
9595 mkdir -p ~/.ssh/
9696 ssh-keyscan github.com >> ~/.ssh/known_hosts
97+ - name : Setup git
98+ if : ${{ inputs.publish }}
99+ run : |
100+ git config user.email "edgehog-machine@ispirata.com"
101+ git config user.name "Edgehog Bot"
97102 - uses : ./edgehog/.github/actions/doc-publish
98103 if : ${{ inputs.publish }}
99104 with :
Original file line number Diff line number Diff line change 2121 branches :
2222 - main
2323 - " release-*"
24+ branches-ignore :
25+ - " release-please*"
2426
2527name : Release CI
2628
You can’t perform that action at this time.
0 commit comments