This is just a quick and dirty Greasemonkey script to automatically select the git protocol as the default for GitHub public projects owned by others.
That way the git:// url is ready to be copied, instead of the https:// one.
Just because the default HTTP protocol is a little less efficient.