github-pr
Here are 16 public repositories matching this topic...
Chrome Extension for listing GitHub Pull Request file changes with Markdown markup.
-
Updated
Nov 7, 2016 - JavaScript
A google chrome extension that shows the status of each travis environment for a github PR
-
Updated
Jun 29, 2017 - JavaScript
Force render imgs in commit and PR pages
-
Updated
Apr 13, 2018 - JavaScript
A variety of custom issue and pull request templates, and contributing guidelines.
-
Updated
May 26, 2018
Bash/python script to manage github issues & pull requests
-
Updated
Dec 3, 2018 - Shell
Export GitHub Issues and Pull Requests to CSV and JSON from your Terminal or Node.js app.
-
Updated
Feb 22, 2019 - JavaScript
Open a GitHub PR by sending a patch file by email.
-
Updated
Jul 21, 2019 - Python
Show the source tree on the github PR
-
Updated
Dec 15, 2020 - JavaScript
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
A Gradle plugin that helps facilitate GitHub PR checking and automatic commenting of violations.
-
Updated
Aug 31, 2022 - Java
PReam-Team is a TUI utility that helps you keep track of your teams PRs across multiple repositories 💪
-
Updated
Feb 26, 2024 - Python
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."