The former filter was written over two years ago, only covers
repository home pages, and only in a minimal fashion.
The proposed replacement covers many/most pages of the github site,
makes content much easier to read and navigate, and prunes out cruft
work in emacs-w3m.
Some of the things now pleasant and easy to do:
search for repositories using github's own powerful search engine
browse a user's contribution history
browse a user's repositories
search, sort, and view issues and PR's
view stars and followers
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.