# spring-userscripts

**Repository Path**: mirrors_dsyer/spring-userscripts

## Basic Information

- **Project Name**: spring-userscripts
- **Description**: A collection of browser scripts useful for Spring committers
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-08-08
- **Last Updated**: 2026-03-07

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Spring Userscripts #
A collection of userscripts useful for Spring committers

## Installation ##
### Chrome ###
* Open [chrome://chrome/extensions/](chrome://chrome/extensions/)
* Drag the script you want to load to the window

### Firefox ###
* Install [Greasmonkey](https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/)
* 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](http://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.