Skip to content


Subversion checkout URL

You can clone with
Download ZIP


make plugin work again:repo name must be lowercase #5

merged 1 commit into from

2 participants


No description provided.

@ethanpil ethanpil closed this
@ethanpil ethanpil reopened this
@skratchdot skratchdot merged commit 39c7235 into skratchdot:master

I'm curious as to which repo was this failing on? I didn't notice the problem.

Anyways, thanks for making the fix. Sorry for the delay on merging (I didn't get an email notifying me that there was a pull request).


It wasn't working on repo:WordPress/WordPress (or any other repo that has capital letters) :)


If we are good to go, I will delete the branch.


Should be good to go. Thanks!

@ethanpil ethanpil deleted the unknown repository branch
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Commits on Jan 11, 2013
  1. @ethanpil
This page is out of date. Refresh to see the latest.
Showing with 2 additions and 2 deletions.
  1. +2 −2 github-code-search.user.js
4 github-code-search.user.js
@@ -39,7 +39,7 @@ var main = function () {
type: 'GET',
data: {
type: 'Code',
- repo: SKRATCHDOT.nameWithOwner,
+ repo: SKRATCHDOT.nameWithOwner.toLowerCase(),
q: searchText,
start_value: startValue
@@ -141,4 +141,4 @@ var main = function () {
// Inject our main script
var script = document.createElement('script');
script.textContent = '(' + main.toString() + ')();';
Something went wrong with that request. Please try again.