GitHub App to keep PR branches up to date automatically.
-
Updated
May 13, 2024 - Go
GitHub App to keep PR branches up to date automatically.
🤖 An open-source Github Bot to report extension size change and extension version change on pull requests.
This practical work is assigned to master's students in the Software Evolution course at the University of Mons.
ganesh kavhar python machine learning tutorials....
A Github operation bot that helps you prevent merge skew/semantic merge conflicts so your master branch stays always green
Keep your Branching Model after Pull Requests
Creation of Github Issues by using a Zulip Bot
A basic approach to create a Github-Bot using selenium
ChrisJr4Eva87Repository
ganesh kavhar python tutorials..
🦒 A Core functional for Rune ruler bot
🤖 GitHub bot powering Oswald Labs' FOSS work
🤖 Github Bots and all the stuff based on the PyConBY2020 workshop
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."