diff options
| -rw-r--r-- | README.md | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..1e93b03 --- /dev/null +++ b/README.md @@ -0,0 +1,24 @@ +GitHub Search Pronto +==================== + +A user script to search immediately within a GitHub repository without having to +wait for the drop-down to appear. + +Since the search drop-down was added (enabling the search scope to be changed), +users must wait for the drop-down to both appear and populate before the Enter +key effectuates a search. This script allows the Enter key to be pressed without +having to wait for the drop-down to search within a repository. + + +## Install +Open the [raw script][1] and click “Install” in the resulting dialog. A [more +detailed explanation][2] is available on the Greasemonkey wiki. + + +## License +Copyright © 2018 Teddy Wing. Licensed under the GNU GPLv3+ (see the included +COPYING file). + + +[1]: https://raw.githubusercontent.com/teddywing/github-search-pronto/master/github-search-pronto.user.js +[2]: https://wiki.greasespot.net/Greasemonkey_Manual:Installing_Scripts |