Skip to content

Commit

Permalink
Reuse and call MkDocs workflow
Browse files Browse the repository at this point in the history
Reverts 2bbb681.
  • Loading branch information
PeterBowman authored Nov 18, 2023
1 parent e2fe06c commit 0e70a01
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 7 deletions.
12 changes: 6 additions & 6 deletions .github/workflows/contributors.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,10 @@ jobs:
- name: Detect changes
id: check
run: echo "modified=$(git diff --quiet HEAD -- docs/contributors.md && echo false || echo true)" >> "$GITHUB_OUTPUT"
- name: Commit
if: steps.check.outputs.modified == 'true'
run: git -c "user.name=GitHub Actions" -c "user.email=" commit -am "Update contributors"
- name: Push to GitHub
uses: ad-m/github-push-action@master
with:
github_token: ${{secrets.DEV_MANUAL}}
if: steps.check.outputs.modified == 'true'
run: |
git -c "user.name=GitHub Actions" -c "user.email=" commit -am "Update contributors"
git push
- name: Regenerate GitHub Pages site
uses: ./.github/workflows/gh-pages.yml
1 change: 1 addition & 0 deletions .github/workflows/gh-pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
paths:
- docs/**
- mkdocs.yml
workflow_call:
workflow_dispatch:

jobs:
Expand Down
1 change: 1 addition & 0 deletions docs/contributors.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@

This is a list of people who contributed to the roboticslab-uc3m software ecosystem.


- Ainhoamm1
- Alberto Jardón Huete (ajardon)
- alicest9
Expand Down
1 change: 0 additions & 1 deletion scripts/update_contributors.py
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@

# required fine-grained PAT permissions:
# * repository permissions: metadata (read-only)
# * in order to also perform a commit & push via GHA: contents (read & write)
# * organization permissions: members (read-only)
# also make sure to check the 'All repositories' checkbox
auth = Auth.Token(os.environ.get('GITHUB_PAT_AUTH'))
Expand Down

0 comments on commit 0e70a01

Please sign in to comment.