CI ding

ciding.app

Extension Developer Tools3 users

Overview

Play GitHub pull request CI alerts with account-gated usage.

CI ding watches your open GitHub pull request tabs so you can stop babysitting CI. When a watched pull request settles on green or red, the extension can play a sound, show a notification, and bring you back to the right tab with one click. Sign in with Google to tie usage to your CI ding account instead of one browser profile. Each signed-in account starts with 10 free terminal alerts. Paid plans are managed through hosted Stripe Checkout and the Stripe billing portal when you want unlimited dings. What CI ding does well: - Watches open GitHub pull request tabs automatically - Plays different sounds for pass and fail outcomes - Supports browser notifications and tab focus on click - Keeps free-alert quota and paid access consistent across browsers - Uses a dedicated auth page so Google sign-in can complete reliably CI ding is built for people who keep GitHub pull requests open while CI runs and want a lightweight signal when it is safe to come back.

0 out of 5
No ratings
Learn more about results and reviews.

Details

Version
0.1.4
Updated
April 14, 2026
Flag concern
Size
234KiB
Languages
English
Developer
Form Nerd, LLC.
503 N Terrace Pl Form Nerd HQ Morganton, NC 28655-3756 US
Website
Email
erik@formnerd.co
Non-trader
This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

Manage extensions and learn how they're being used in your organization

The developer has disclosed that it will not collect or use your data. To learn more, see the developer’s privacy policy.

This developer declares that your data is

Not being sold to third parties, outside of the approved use cases
Not being used or transferred for purposes that are unrelated to the item's core functionality
Not being used or transferred to determine creditworthiness or for lending purposes

Support

For help with questions, suggestions, or problems, visit the developer's support site

Github Pull Request Helper

5.0

Helps to make large GitHub pull requests easier to navigate.

GitStats

4.8

Displays brief GitHub stats for a user.

Copilot Premium Monitor

5.0

Monitor your GitHub Copilot premium request usage

LeetCode Tracker

4.8

Sync LeetCode's submissions with a GitHub repository

Github Code Counter

4.0

A Chrome extension to count lines of code in a GitHub repository.

GitHub PR Cleaner

0.0

Automatically hides deployment noise from GitHub pull request timelines

PRism

0.0

View your open GitHub Pull Requests and review requests

GitHub Account Switcher

4.8

A convenient extension that enables users to seamlessly switch between multiple GitHub accounts.

Better GHub

0.0

Shows last activity and unresolved suggestions on GitHub pull request lists

GitHub Pulls Show Reviewers

5.0

See requested reviewers, teams, and completed review state directly in GitHub pull request lists.

Notifier for GitHub

4.7

Displays your GitHub notifications unread count

Git Deps Notifier

0.0

A browser extension to notify about new versions of dependencies in GitHub repositories.