1
0
mirror of synced 2025-12-30 21:02:34 -05:00

Convert more files to TypeScript sync.js & find-page.js (#51775)

This commit is contained in:
Evan Bonsignori
2024-07-29 14:18:44 -07:00
committed by GitHub
parent a54bfeb700
commit 5038ef5a4e
21 changed files with 241 additions and 148 deletions

View File

@@ -95,7 +95,7 @@ jobs:
changes=$(git diff --name-only | wc -l)
untracked=$(git status --untracked-files --short | wc -l)
if [[ $changes -eq 0 ]] && [[ $untracked -eq 0 ]]; then
echo "There are no changes to commit after running src/rest/scripts/update-files.js. Exiting..."
echo "There are no changes to commit or untracked files. Exiting."
exit 0
fi

View File

@@ -55,7 +55,7 @@ jobs:
changes=$(git diff --name-only | wc -l)
untracked=$(git status --untracked-files --short | wc -l)
if [[ $changes -eq 0 ]] && [[ $untracked -eq 0 ]]; then
echo "There are no changes to commit after running src/rest/scripts/update-files.js. Exiting..."
echo "There are no changes to commit or untracked files. Exiting..."
exit 0
fi

View File

@@ -49,7 +49,7 @@ jobs:
# Needed for gh
GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_WRITEORG_PROJECT }}
run: |
src/rest/scripts/update-files.js --source-repo rest-api-description --output rest github-apps webhooks rest-redirects
npm run sync-rest -- --source-repo rest-api-description --output rest github-apps webhooks rest-redirects
git status
echo "Deleting the cloned github/rest-api-description repo..."
rm -rf rest-api-description
@@ -73,7 +73,7 @@ jobs:
# If nothing to commit, exit now. It's fine. No orphans.
changes=$(git diff --name-only | wc -l)
if [[ $changes -eq 0 ]]; then
echo "There are no changes to commit after running src/rest/scripts/update-files.js. Exiting..."
echo "There are no changes to commit after running `npm run sync-rest` Exiting..."
exit 0
fi