🔮 A bot to automatically update and merge GitHub PRs
A comprehensive tutorial about GWAS and PRS
GitHub Pull Request Auto-Merge Bot
GitHub Action that adds compressed size changes to your PRs.
Make this Hacktoberfest a learning period and contribute to Great Open S...
A simple CLI tool that automates the process of backporting commits on a...
Provides a Github pull request resource for concourse CI.
Raise Genuine PRs only. Your PRs will be accepted, keep patience. Star T...
Raise Genuine PRs only. Your PRs will be accepted, keep patience.
ACT hardware description language and core tools.
A light-weight lint workflow when using GitHub along with JIRA for proje...
Fight against PR spammers
Video game file translation tools
A Sphinx extension for linking to your project's issue tracker