4 ms·perhaps greasemonkey is a good way to get it on the repo page itselfby bluesmoon 16y agoperhaps greasemonkey is a good way to get it on the repo page itselfsgrove 16y agoActually, barring the github guys rushing to integrate with us, we made a bookmarklet I'll post here in a bit. Great suggestion by the way.kmfrk 16y agoI'd prefer an extension that can be synced between devices and formats/reinstalls.