diff options
| author | Teddy Wing | 2018-11-21 08:52:25 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-21 08:56:16 +0100 |
| commit | 56fe5a734e65037bc13390373e889326f20387af (patch) | |
| tree | a7ecd44f314848d82cbcc9eb0d0f33843c1bf3d7 /README.md | |
| parent | 600f25356646e627386cabe409aa52e798f22025 (diff) | |
| download | github-search-pronto-master.tar.bz2 | |
Diffstat (limited to 'README.md')
| -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 |
