At my org we use a chatbot for pull requests — you get pinged by the bot when the PR is ready to merge, with a button in the chat interface that merges the PR — no need to open GitHub and locate the big green button yourself.
That won’t 10x your productivity or whatever, but it does make it slightly more pleasant.
That does sound cool, but I’m not sure that’s what most folks mean by “chatbot”. My understanding was that a chatbot is an automated chat program that will generate responses to your messages, simulating a live human.
At my org we use a chatbot for pull requests — you get pinged by the bot when the PR is ready to merge, with a button in the chat interface that merges the PR — no need to open GitHub and locate the big green button yourself.
That won’t 10x your productivity or whatever, but it does make it slightly more pleasant.