Skip to content

Update data

Update data #40

Workflow file for this run

name: Update data
on:
# Run every month on the 1st at 13:00 UTC
schedule:
- cron: "0 13 1 * *"
workflow_dispatch:
push:
paths:
- ".github/workflows/update-data.yml"
- "config.php"
- "overpass/*"
pull_request:
paths:
- ".github/workflows/update-data.yml"
- "config.php"
- "overpass/*"
jobs:
update-data:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
repository: ${{ github.repository_owner }}/equalstreetnames
persist-credentials: false
submodules: true
- name: Validate composer.json and composer.lock
working-directory: process
run: composer validate
- name: Install dependencies
working-directory: process
run: composer install --prefer-dist --no-progress
- name: Checkout submodule to master
working-directory: cities/netherlands/leiden
run: git checkout -q master
- name: Update sub-modules
run: git submodule update --remote --merge cities/netherlands/leiden
- name: Run update
working-directory: process
run: composer run update-data -- --city=netherlands/leiden
# - name: Upload artifact
# uses: actions/upload-artifact@v2
# with:
# name: Leiden
# path: cities/netherlands/leiden/data/*
- name: Commit sub-module
if: ${{ github.event_name != 'pull_request' }}
working-directory: cities/netherlands/leiden
run: |
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
git add data/*
git commit -m "馃梼 Update data"
- name: Push to sub-module
uses: ad-m/github-push-action@master
if: ${{ github.event_name != 'pull_request' }}
with:
github_token: ${{ secrets.ACCESS_TOKEN }}
directory: cities/netherlands/leiden
repository: ${{ github.repository }}
- name: Commit main repository
if: ${{ github.event_name != 'pull_request' }}
run: |
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
git pull
git add cities/netherlands/leiden
git commit -m "馃梼 Update Leiden sub-module"
- name: Push to main repository
uses: ad-m/github-push-action@master
if: ${{ github.event_name != 'pull_request' }}
with:
github_token: ${{ secrets.ACCESS_TOKEN }}
repository: ${{ github.repository_owner }}/equalstreetnames