[misc][s]: rename Portal.js to PortalJS

This commit is contained in:
anuveyatsu
2023-04-22 12:11:51 +06:00
parent 7684a89f55
commit cceb1b011e
15 changed files with 32 additions and 32 deletions

View File

@@ -20,7 +20,7 @@ jobs:
env:
PORTAL_REPO_NAME: ${{ secrets.PORTAL_REPO_NAME }}
run: |
curl https://raw.githubusercontent.com/datopian/portal.js/main/site/public/scripts/single-dataset-no-commit.sh > portal.sh
curl https://raw.githubusercontent.com/datopian/portaljs/main/site/public/scripts/single-dataset-no-commit.sh > portal.sh
git config --local user.email "$(git log --format='%ae' HEAD^!)"
git config --local user.name "$(git log --format='%an' HEAD^!)"
source ./portal.sh