What Git providers and messaging platforms does HotBot support?

HotBot integrates with GitHub and GitLab for source control, with Bitbucket coming soon. For notifications, it supports Slack, Discord, and Microsoft Teams. Connect multiple repos and channels from any combination of providers.

What permissions does HotBot need?

Only read-only access to repository metadata and PR information. HotBot never accesses your actual code, and all data is encrypted in transit and at rest.

How quickly can we get started with HotBot?

Setup takes about 5 minutes. Connect your GitHub or GitLab account, add HotBot to your Slack, Discord, or Teams channel, configure your first notification schedule, and you're done. No technical setup required.

Will HotBot spam my team with notifications?

No. HotBot sends one daily digest (or your custom schedule) instead of per-PR notifications. Smart filters exclude drafts, WIP, and already-reviewed PRs. Most teams see 90% less noise than native GitHub notifications.

How does HotBot control notification noise?

Smart defaults exclude drafts, WIP PRs, bot-generated content, and already-reviewed PRs. You can customize filters by labels, file paths, authors, and more. Most teams see 90% less notification noise.

How does HotBot track PRs in real-time?

HotBot uses webhooks from your Git provider to monitor PR status changes instantly. Your daily digest shows the latest state of each PR - no stale data. Webhooks also enable smart escalation when PRs sit too long.

How customizable are the escalation rules?

Fully customizable. Set different thresholds for different repos, exclude certain labels or authors, define escalation chains (reviewer to team lead to manager), and customize timing for each step.

What if we need to cancel our HotBot subscription?

Cancel anytime with one click. No contracts, no cancellation fees. Your data is exported and deleted within 30 days.

HotBot/Integrations/GitHub to Discord

→

Looking for a GitHub Discord bot for PR notifications?

Most GitHub-to-Discord setups use a raw webhook that fires on every push and review. HotBot is a GitHub Discord bot that posts one daily digest instead: CI results, review status, and stale-PR escalation, with drafts, WIP, and bot PRs filtered out.

Webhook-based, updates in under a second

Key features for GitHub → Discord

✓Replaces raw-webhook spam: one digest per channel per day
✓Auto-filters drafts, WIP, and bot PRs (Dependabot, Renovate)
✓Live PR status board, updates in under a second
✓CI results update the live PR status and the digest
✓Escalation when PRs go stale
✓Read-only GitHub access, no code exposure

How to set up GitHub PR notifications for Discord

1. Install HotBot from the GitHub Marketplace.

2. Add HotBot to your Discord workspace or server.

3. Select the repositories and channels to connect.

4. Configure filters and your digest schedule.

5. That's it. Your team gets a filtered daily digest instead of notification spam.

Compare with alternatives

HotBot vs GitHub Official Notifications →

Get started

Free tier available. No credit card required. Cancel anytime.

Start Free Trial

Looking for a GitHub Discord bot for PR notifications?

Key features for GitHub → Discord

How to set up GitHub PR notifications for Discord

Compare with alternatives

Related guides

Get started