Skip to content

Remove contributors with deleted accounts #98

Remove contributors with deleted accounts

Remove contributors with deleted accounts #98

Workflow file for this run

name: Remove contributors with deleted accounts
on:
schedule:
# https://crontab.guru/#0_0_*_*_1
- cron: '0 0 * * 1'
workflow_dispatch:
inputs:
skipPR:
description: Push results straight to master instead of opening a PR
required: false
default: 'false'
permissions:
contents: read
jobs:
ghostbust:
permissions:
contents: write # for Git to git push
pull-requests: write # for peter-evans/create-pull-request to create a PR
runs-on: ubuntu-latest
if: github.repository == 'DefinitelyTyped/DefinitelyTyped'
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- uses: ./.github/actions/setup-for-scripts
- run: node ./scripts/ghostbuster.js > ${{ runner.temp }}/comment.md
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- if: ${{ inputs.skipPR == 'true' }}
run: |
if [ -n "`git status -s`" ]; then
git config --global user.email "[email protected]"
git config --global user.name "TypeScript Bot"
git commit -am "Remove contributors with deleted accounts #no-publishing-comment"
# Script can take a bit to run; with such an active repo there's a good chance
# someone has merged a PR in that time.
git pull --rebase
git push
fi
- if: ${{ inputs.skipPR != 'true' }}
uses: peter-evans/create-pull-request@c5a7806660adbe173f04e3e038b0ccdcd758773c # v6.1.0
with:
token: ${{ secrets.GITHUB_TOKEN }}
commit-message: 'Remove contributors with deleted accounts #no-publishing-comment'
committer: 'TypeScript Bot <[email protected]>'
author: 'TypeScript Bot <[email protected]>'
branch: 'bust-ghosts'
branch-suffix: short-commit-hash
delete-branch: true
title: Remove contributors with deleted accounts
body-path: ${{ runner.temp }}/comment.md