Ping-GitHub-stale-PRs
A tiny bash shell script for any GitHub repository having too many pull reuqests that can't manually check and ping the stale PRs.
Dependencies
- curl
- grep
- awk
- sed
- jq
- xargs
- date
Usage
There are some variables inside ping-stale-PRs
that you can manipulate:
- GITHUB_TOKEN # Your GitHub token
- OWNER # The repository owner GitHub ID
- REPO # The repository name
- STALE_DAYS # How many days a pull request stale would be pinged,
14
by default - COMMENT # The comment in json format (
'{"body": "Comment here please"}'
), ref
You can directly assign/oeverride value to the varible like this(Don't forget COMMENT need to be in the json format with "body" kay/value):
GITHUB_TOKEN=21eb588cda61aa8525421857eca221ef371e4109
To run the script, set repository name and repository owner and your GitHub token in the executable file or the environment, take https://github.com/cdnjs/cdnjs as example:
REPO=cdnjs OWNER=cdnjs GITHUB_TOKEN=21eb588cda61aa8525421857eca221ef371e4109 ./ping-stale-PRs
License
GNU General Public License v3.0
See LICENSE file for the detail