Spring Userscripts

A collection of userscripts useful for Spring committers

Installation

Chrome

• Open chrome://chrome/extensions/
• Drag the script you want to load to the window

Firefox

• Install Greasmonkey
• Browse to the scripts folder inside Firefox (either local or from github)
• Click on the user.js script that you want to install

Scripts

github-jira

Allows JIRA references displayed on github to appear as links back to jira.springsource.org.

github-manual-merge

Augments github pull request for spring projects with the manual merge commands that can be run from the command line.