I bet the GitHub web app would be good if they just added a little more JavaScript to it. Just a tiny extra bit.