Skip to content

Commit

Permalink
remove redundant check
Browse files Browse the repository at this point in the history
  • Loading branch information
JHogenboom committed Jul 5, 2024
1 parent dc22ccc commit ec3b1d2
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions .github/workflows/update_wiki.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -50,12 +50,6 @@ jobs:
cd wiki
# Check for changes; if none, exit
if [ -z "$(git status --porcelain)" ]; then
echo "No changes to the wiki."
exit 0
fi
# Add, commit, and push changes
git add .
git commit -m "Update Wiki documentation by ${{ github.actor }}"
Expand Down

0 comments on commit ec3b1d2

Please sign in to comment.