Following

jkreps isn't following anybody.

Learn more about being social on GitHub.