|
|
Go |
643 |
GitHub Pull Request Auto-Merge Bot |
Aug 19, 2022 |
|
|
Elixir |
1325 |
👁 A merge bot for GitHub Pull Requests |
Sep 02, 2022 |
|
|
TypeScript |
2 |
GitHub actions bot to label pull requests with custom label on merge |
Feb 21, 2021 |
|
|
Go |
4 |
A merge bot for Gerrit |
May 19, 2022 |
|
|
None |
2 |
github action to merge branches |
Jul 06, 2023 |
|
|
Rust |
8 |
A helpful operation bot for GitHub. It helps assign reviewers and merge pull requests. |
Dec 13, 2022 |
|
|
C++ |
32 |
Tools for analyzing and browsing Tarmac instruction traces. |
Aug 12, 2022 |
|
|
JavaScript |
364 |
Do Not Merge WIP for GitHub |
Aug 18, 2022 |
|
|
JavaScript |
2 |
Do Not Merge WIP for GitHub |
Jan 30, 2023 |
|
|
Python |
3 |
Infrastructure for Cartographer • Ci, merge bot etc... |
Sep 09, 2020 |
|
|
Python |
58 |
A Telegram Video Merge Bot by @AbirHasan2005 |
Jul 23, 2022 |
|
|
None |
2 |
A Telegram Video Merge Bot by @AbirHasan2005 |
Nov 15, 2021 |
|
|
Python |
3 |
A Telegram Video Merge Bot by @AbirHasan2005 |
Jul 17, 2022 |
|
|
Python |
38 |
Finding similar repositories on GitHub |
Jun 03, 2022 |
|
|
Go |
38 |
🤖 A pull/merge-request reminder-bot for Gitlab and Github, posting on Mattermost or Slack. |
Aug 04, 2022 |
|
|
JavaScript |
2 |
Merge all contributors across a GitHub organisation. |
Jul 23, 2020 |
|
|
TypeScript |
2 |
GitHub Actions for pull-request merge preview |
Apr 01, 2020 |
|
|
TypeScript |
2 |
Github Actions: generate merge diff between tags |
Jan 04, 2022 |
|
|
TypeScript |
5 |
Github Action to notify merge conflict pulls |
Jan 31, 2023 |
|
|
None |
2 |
Resolve merge conflics course on GitHub Skills |
Mar 24, 2023 |
|
|
Shell |
7 |
GitHub PR merge "event" for Drone CI |
Aug 11, 2022 |
|
|
Python |
2 |
A failed experiment to merge a Telegram bot with a Discord bot |
Jan 28, 2023 |
|
|
Swift |
5 |
Webhook-based GitHub bot that automatically tags new releases and posts to Discord when you merge … |
May 24, 2022 |
|
|
JavaScript |
7 |
Telegram Bible trivia bot similar to Quizzarium |
Nov 08, 2021 |
|
|
HTML |
8 |
GitHub Action to run ibis builds on merge |
Nov 17, 2021 |
|
|
Shell |
2 |
GitHub Action to automatically rebase or merge PRs |
Feb 04, 2022 |
|
|
C# |
24 |
VK bot, GitHub bot, Discord bot, Trader bot |
Aug 16, 2022 |
|
|
JavaScript |
176 |
Creates github index for similar repositories discovery |
Aug 14, 2022 |
|
|
JavaScript |
2 |
Discord bot for LoL profiles, similar to op.gg |
Oct 26, 2022 |
|
|
Ruby |
3 |
octo-merge is a simple command line tool to merge GitHub pull requests using different strategies |
Jan 19, 2017 |
|
|
TypeScript |
4 |
GitHub Action to automatically label PRs with merge conflicts |
Jul 26, 2022 |
|
|
TypeScript |
4 |
A GitHub Action to block merge based on time |
Jul 11, 2022 |
|
|
Shell |
475 |
A Github Action to tag a repo on merge. |
Sep 03, 2022 |
|
|
JavaScript |
6 |
A GitHub implementation of a Cascading Auto-Merge feature |
Jun 09, 2022 |
|
|
JavaScript |
5 |
handles a merge queue with github actions and slack |
May 25, 2022 |
|
|
Go |
7 |
Github actions that merge pull requests with custom ways |
Dec 07, 2022 |
|
|
JavaScript |
12 |
Unhighlignt WIP, DO NOT MERGE pull requests on GitHub. |
Aug 06, 2019 |
|
|
None |
2 |
Simple Video Merge Telegram Bot Based on Python and FFMPEG |
Apr 27, 2022 |
|
|
Python |
16 |
Simple Video Merge Telegram Bot Based on Python and FFMPEG |
Mar 25, 2022 |
|
|
Go |
26 |
🤖 [Myrmica Lobicornis 🐜] Bot: Update and Merge Pull Request |
Jun 16, 2022 |
|
|
Python |
2 |
A telegram video merge with softmux support bot by @yashoswalyo |
Mar 23, 2023 |
|
|
TypeScript |
9 |
GitHub Bot :robot: |
Oct 30, 2020 |
|
|
TypeScript |
2 |
Figstack GitHub bot |
Sep 30, 2021 |
|
|
TypeScript |
3 |
Ubiquity GitHub Bot |
Apr 20, 2023 |
|
|
Go |
16 |
Chewbacca GitHub Bot |
May 21, 2022 |
|
|
Java |
6 |
A GitHub bot. |
Feb 19, 2023 |
|
|
JavaScript |
2 |
My GitHub bot |
May 26, 2021 |
|
|
JavaScript |
2 |
Github Graph Bot |
Dec 15, 2023 |
|
|
Haskell |
10 |
LambdaTwit: Lambdabot running as a twitter bot. Similar to the @fsibot f# bot. |
Aug 13, 2019 |
|
|
Python |
2 |
A bot similar to GPT chat with graphical environment |
May 19, 2023 |