Permalink
Browse files

Adding a user script from https://github.com/skratchdot

Checkout the screenshot and description here:

https://github.com/skratchdot/github-pull-request-links.user.js
  • Loading branch information...
1 parent 784c375 commit 61973369d99aac710a16eb388ed20b53deb2a293 @skratchdot skratchdot committed Feb 24, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 _posts/2008-06-01-userscripts-and-bookmarklets.textile
@@ -23,6 +23,7 @@ h2. GitHub
* "GitHub Fork Count":https://github.com/skratchdot/github-fork-count.user.js - A user script to display the fork count underneath the "public" repo count on a user's main profile page.
* "GitHub Repo Counts":https://github.com/skratchdot/github-repo-counts.user.js - A user script to display repo counts when browsing repository pages.
* "GitHub Repo-Filter Info":https://github.com/skratchdot/github-repo-filter-info.user.js - A user script to display some additional info below the repository filter on a user's main profile page.
+* "Github Pull Request Links":https://github.com/skratchdot/github-pull-request-links.user.js - A user script to "linkify" the to/from branches on Pull Request pages.
h2. Gist

0 comments on commit 6197336

Please sign in to comment.