github-improved icon indicating copy to clipboard operation
github-improved copied to clipboard

Incremental UI improvements for github.com, in the form of useful user scripts (Google Chrome or Firefox + Greasemonkey), a Chrome and Opera extension.