Readme update #10100
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Readme update | |
| on: | |
| workflow_run: | |
| workflows: ["Badges"] | |
| types: | |
| - completed | |
| workflow_dispatch: | |
| jobs: | |
| readme-update: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Setup Git Configurations | |
| run: | | |
| git config --global user.email "[email protected]" | |
| git config --global user.name "github-actions[bot]" | |
| - name: Check out repository code | |
| uses: actions/checkout@v2 | |
| with: | |
| fetch-depth: 1 | |
| ref: main | |
| token: ${{ secrets.PAT }} | |
| - name: Build README.md from external markdown files | |
| run: | | |
| cat conf/github/header.md conf/github/badges.md conf/github/access.md conf/github/contribute.md conf/github/credits.md conf/github/testing.md conf/github/roadmap.md conf/github/footer.md > README.md | |
| - name: Commit updated README.md if there are changes | |
| run: | | |
| git add README.md | |
| # Check if there are changes to commit | |
| if git diff --cached --quiet; then | |
| echo "No changes to commit" | |
| else | |
| git commit -m "README.md updated." | |
| git pull --rebase origin main | |
| git push origin main | |
| fi |