Skip to content

Sync GitHub PRs to Redis #1214

Sync GitHub PRs to Redis

Sync GitHub PRs to Redis #1214

Workflow file for this run

name: Sync GitHub PRs to Redis
on:
schedule:
- cron: "0 * * * *"
workflow_dispatch:
jobs:
sync:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: 20
- name: Install deps
run: npm install @octokit/rest @octokit/graphql @upstash/redis tsx
- name: Run sync
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}
GH_USERNAME: ${{ secrets.GH_USERNAME }}
UPSTASH_REDIS_REST_URL: ${{ secrets.UPSTASH_REDIS_REST_URL }}
UPSTASH_REDIS_REST_TOKEN: ${{ secrets.UPSTASH_REDIS_REST_TOKEN }}
run: npx tsx scripts/sync-prs.ts