The bot which handles auto-merging your PRs
-
Updated
Jul 1, 2024 - TypeScript
The bot which handles auto-merging your PRs
A bot to manage the ohmyzsh project
An inclusive language GitHub App for detecting and suggesting changes to insensitive language in pull requests.
Chat bot able to speak natural language and markup, prompt to complete commands, and offer localized help. Configured with schema-validated YAML, features JWT authentication with granular RBAC, and SQL persistence.
A GitHub bot for tauri-apps org to automate various tasks and intended to used only by tauri-apps org members.
GitHub Bot for OpenSumi. We Love ChatOps.
AI Github assistant for your repo. Your proactive GitHub bot that auto-detects duplicates using OpenAI embeddings and Supabase magic!
Github app to run your issue body and pull request's body through handlebar to generate new bodies
GitHub app/bot for responding to actions and events in your repository using contextual quotes from Darkest Dungeon.
β¨ SPOTKEYBOT β¨ This bot scanns every pushed file on PR to check if any file contain any private key
Notify your Basecamp Campfire with various events from GitHub repos.
A GitHub bot to label PRs automatically based on title and body against list of defined labels.
GitHub bot automating the process of PR synchronization with Monday.com
Github EAS Attestation Bot
π€ An open-source Github Bot to report extension size change and extension version change on pull requests.
π§πππ€ Automate Git Identity Setup: This action fetches GitHub user details via API, setting the correct Git name and email for your commits. Fast, robust, and user-friendly, it ensures accurate commit attribution. Perfect for bots and apps!
Add a description, image, and links to the github-bot topic page so that developers can more easily learn about it.
To associate your repository with the github-bot topic, visit your repo's landing page and select "manage topics."