Repository navigation
Mentions stopped disappearing
If you have a busy GitHub account, mentions were vanishing from the list
without anybody having read them. They were not being read — they were
being pushed off the one page the app asked for.
The app fetched the newest fifty unread notifications and nothing more.
On the account this was found on, that page held 27 review requests, 21
threads from watched repositories, and a single mention — while 55 more
mentions sat further down a stream 52 pages long. Page one reached back
to a quarter to two that same afternoon. Every new review request shoved
the window along and took a mention with it.
The app now reads the whole stream, following GitHub's own cursor until
there is no more of it. The list on that account went from 1 mention to
56.
It has not become expensive. GitHub answers "nothing changed" to the
first page when nothing in the stream has moved, and nothing having moved
means the pages behind it have not moved either — so the ordinary poll
still costs a single request. The walk is paid for only when there is
something new to walk. Where Repository I watch and Team mentions are
both switched off, it asks GitHub to leave out everything you are not
part of, which halves the walk again.
If the stream is longer than the app will walk in one go, the list says
so at the bottom rather than looking complete.
Install
brew tap sidler/tap
brew trust --cask sidler/tap/githubmonitor
brew install --cask githubmonitorAlready have it? brew upgrade --cask githubmonitor.
Or download the zip below, unpack it and move GitHubMonitor.app to
/Applications.
Signed with a Developer ID and notarised by Apple, with the ticket stapled
to the bundle.