A tool for handling github pull requests

Synchronise GitHub labels for issues and pull requests across multiple repositories.

Simple and intuitive kivy application for hotel management

This repository contains a Pull Request bot that monitors ArgoCD applications in a Kubernetes cluster. It automatically adds comments to pull requests with deployment preview URLs, metrics, logs, and QR codes. The bot integrates with GitHub APIs and ArgoCD to provide real-time deployment feedback.

Learn Jenkins integrations

🐦 Simple twitter bot

MeetBalls' is a web application that is aimed at helping people finding partners, groups and events for ball games.

Generates text for PR descriptions that groups commits by file and makes it pretty.

Simple tool to monitor public repos that you don't control

This repository contains scripts to analyze code contributions and generate reports

PR-stats is an open-source python library that brings different functions to bring stats about pull requests.

A simple service that sends slack notifications if a pull request still open after X days

Forward pull request notifications from Azure DevOps to Slack

Fast-forward pull requests

No noise code reviews with code context and custom rules

Send e-mails about new events on your GitHub repositories

Pygame

Generate a pull request analysis report from a specified repo

Get bugged via Discord or Slack to merge your GitHub pull requests or close open issues.

✂ A github action that takes full screen scrolling screenshots of custom or preview urls and uploads them to dropbox.