aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorTeddy Wing2018-11-21 08:52:25 +0100
committerTeddy Wing2018-11-21 08:56:16 +0100
commit56fe5a734e65037bc13390373e889326f20387af (patch)
treea7ecd44f314848d82cbcc9eb0d0f33843c1bf3d7 /README.md
parent600f25356646e627386cabe409aa52e798f22025 (diff)
downloadgithub-search-pronto-master.tar.bz2
Add READMEHEADmaster
Diffstat (limited to 'README.md')
-rw-r--r--README.md24
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