Search Results for "bot"

...The public service can be used quickly by joining the Lanyard Discord server, but the project also supports self-hosting. It includes a real-time key-value store that can be updated through the bot or API and emitted through presence updates. Developers can subscribe to one user, multiple users, or all monitored users through its socket protocol. Lanyard is especially useful for personal websites, GitHub profile widgets, dashboards, and real-time presence visualizations.

bors-ng is a GitHub merge bot that enforces an “evergreen” main branch by queueing approved pull requests, testing them together on a staging branch, and only advancing main with the exact, passing commit set. Instead of maintainers repeatedly rebasing and merging one PR at a time, bors-ng batches r+-ed PRs, triggers your existing CI (e.g., GitHub Actions), and merges automatically when the batch is green.

Cog brings the power of the command line to the place you collaborate with your team all the time, your chat window. Powerful access control means you can collaborate around even the most sensitive tasks with confidence. A focus on extensibility and adaptability means that you can respond quickly to the unexpected, without your team losing visibility. Use Cog to manage your infrastructure, support peer learning, and conduct collaborative research at the same time, right from chat. Cog is...