|
|
|
|
|
by muglug
1111 days ago
|
|
Chatbots can be really useful. 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. |
|