A Gradle plugin that helps facilitate GitHub PR checking and automatic commenting of violations.
-
Updated
Aug 12, 2021 - Java
#
github-pr
Here are 15 public repositories matching this topic...
A bot for managing Github issues. Currently only supports approving and autolabeling newly created issues, more ideas in the works. Provided as is, no maintenance beyond my own needs, no support.
-
Updated
Jan 15, 2021 - Python
gregswindle
commented
Apr 5, 2018
1. User story summary
As a consumer,
I would like to know whenever there are updates available for grc
In order to benefit from product enhancements and security fixes.
2. Acceptance criteria
-
update-notifierprovides update notifications via the CLI.
help wanted
Extra attention is needed
good first issue
Good for newcomers
priority: low
Product enhancement
status: available
Open for voluntary contributions
Chrome Extension for listing GitHub Pull Request file changes with Markdown markup.
-
Updated
Nov 7, 2016 - JavaScript
Open a GitHub PR by sending a patch file by email.
-
Updated
Jul 21, 2019 - Python
Force render imgs in commit and PR pages
-
Updated
Apr 13, 2018 - JavaScript
A google chrome extension that shows the status of each travis environment for a github PR
-
Updated
Jun 29, 2017 - JavaScript
Bash/python script to manage github issues & pull requests
python
github-api
devops
agile
github-pr
kanban
shell-script
bash-script
github-issues
github-metrics
-
Updated
Dec 3, 2018 - Shell
A variety of custom issue and pull request templates, and contributing guidelines.
-
Updated
May 26, 2018
Improve this page
Add a description, image, and links to the github-pr topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the github-pr topic, visit your repo's landing page and select "manage topics."
The URL regexes in
index.jsdon't match repositories if the repository has a period in the name, i.e.My.Project.