Better search#10

Open

arjunguha wants to merge 6 commits intoandreazevedo:masterfrom

arjunguha:better-search

Commits on Mar 6, 2015

A better search API and repo search.

arjunguha
authored and
Arjun Guha
committed
Added full_name field.

arjunguha
authored and
Arjun Guha
committed
Pruned build.sbt

arjunguha
authored and
Arjun Guha
committed
Pin to Scala 2.10.4 and include logging.

arjunguha
authored and
Arjun Guha
committed
Move pause into Agent.scala

arjunguha
authored and
Arjun Guha
committed
Indentation fix.

arjunguha
authored and
Arjun Guha
committed