move Hyperbola to github
Bug #1325290 reported by Glyph Lefkowitz on 2014-05-31
This bug affects 1 person
All remaining projects ought to be migrated out of this repository.
(Although maybe we should just delete Hyperbola entirely; I don't think anyone ever used it.)