🔮 A bot to automatically update and merge GitHub PRs
-
Updated
Jun 20, 2024 - Python
🔮 A bot to automatically update and merge GitHub PRs
A comprehensive tutorial about GWAS and PRS
GitHub Pull Request Auto-Merge Bot
Make this Hacktoberfest a learning period and contribute to Great Open Source Projects.
A simple CLI tool that automates the process of backporting commits on a GitHub repo
The Polygenic Score Catalog Calculator is a nextflow pipeline for polygenic score calculation
🕺 Give me data and I will structure it! 🔥
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 project management
Fight against PR spammers
Video game file translation tools
A Sphinx extension for linking to your project's issue tracker
MIRO - Merge it robot!
Extract small increments from large changes
Add a description, image, and links to the prs topic page so that developers can more easily learn about it.
To associate your repository with the prs topic, visit your repo's landing page and select "manage topics."