I made the modifications mentioned in the tweet and I put the result here: https://gist.github.com/3986728 Click on the 'raw' link to install (requires GreaseMonkey).
On Wed, Oct 31, 2012 at 10:59 AM, Galder Zamarreño <[email protected]>wrote: > Hi, > > This is an useful greasymonkey script for handling pull reqs (courtesy of > Max): > https://twitter.com/maxandersen/status/262141856723378176 > > Remember to apply my change as well. > > Screenshot: > http://screencast.com/t/bSfbM1JI > > Cheers, > -- > Galder Zamarreño > [email protected] > twitter.com/galderz > > Project Lead, Escalante > http://escalante.io > > Engineer, Infinispan > http://infinispan.org > > > _______________________________________________ > infinispan-dev mailing list > [email protected] > https://lists.jboss.org/mailman/listinfo/infinispan-dev >
_______________________________________________ infinispan-dev mailing list [email protected] https://lists.jboss.org/mailman/listinfo/infinispan-dev
