Every developer below appears because CEREBRO already kept at least one signal about a GitHub repository they own or push to. Each page states what the public GitHub event feed records about that login over the last 7, 30 and 90 days, and links to the signals that put them in the pool. There is no score on this page and no ordering by volume: the default order is how many separate days a login pushed on, which is the one measurement the underlying data supports.

A push is one GitHub PushEvent: a single publication of one or more commits to a branch. It is not a commit count, and the public event feed under-counts pull requests, issues and stars since mid-2025, so these numbers describe push activity only.

If this page is about you and you would rather it were not

If you ask to be removed, this site no longer generates your developer profile, and the pages that are already live come down on the next build. What it cannot do is erase public git history, the GH Archive replica of the public event feed these numbers are derived from, search-engine or Wayback caches, or copies anyone has already cloned. Removal here covers the developer profile page and the developer index entry; where this archive cites public writing by that person as a signal, that citation is a separate record with its own removal path, and it is not covered by this request.

To be removed, open an issue on the site repository naming the GitHub login you want taken down. You do not have to give a reason, and none is recorded: the list this site keeps holds the login, the date, how the request arrived and who wrote it down, and nothing about you.

The site rebuilds from a fresh clone of the archive every morning at 07:00, so a removal recorded today is live by the next morning at the latest. An urgent removal is rebuilt the same day by triggering a deploy by hand.

Open a removal request ↗