It is a GitHub app for automating the `GitHub workflow`. It is made using `Python`. It is using `gidgethub Library` for communicating to the GitHub events. Bot uses various type of GitHub events and does stuff according to that event.
This bot can be used in various type of events like if we are hosting an event for any coding stuff on a large scale than we can use this type of bots for making out event more interesting. There is no need to install or configure stuff manually, because we have hosted it on GitHub and anyone can use this app in their repository with only one click !!
Here's the Github App: https://github.com/apps/automation-github-bot
Here the server URL: https://github-bot-6x5m.onrender.com/
Click this url, if you wanna try the app in your repo, as this is using free render server, this will take around 30 sec to start the server.
Orion
Check their projects out: Habit Tracker API, LearnHUB, BiteRight, Personal Portfolio
Once you ship this you can't edit the description of the project, but you'll be able to add more devlogs and re-ship it as you add new features!
Finally the github bot is live in github marketplace: https://github.com/apps/automation-github-bot
You may check the initial conversation of the bot: https://github.com/0xAditi/Github-Bot/issues/5
Hey all 🔥
After a long research in github api docs, I have finally created functionality for the github bot to add labels to newely created PR and ISSUES.
Live demo coming soon..
I have now added script for for issue comment, issue assign on opening the issue, issue close greeter and issue unassigned bot on comment. These all scripts are for issue activity. I'll add PR related things soon.
This requires lot of local testing and creating demo repos and doing live testing.
Much more to come 🚀
I have created script that will greet to the user whenever it creates the pull request or issue in your repository.
This guide helped me a lot: https://github-bot-tutorial.readthedocs.io/en/latest/
Have a look at once!!
Something Amazing is coming up 💪
I'm building a Github-Bot, which can automate your workflow, by automatically greet the users coming into your issues and Pull Requests.
I will be using some of the Github Libraries like gidgethub and aiohttp for http communication.
Stay Tune for more updates 🚀🚀