{"shas":[["a4ec311ef47f1d25f1c6d30e35ea1c863272a084","9ab9e3552fe66aee948316a1db47d8272fef0ef2@gmail.com","+ Added gauss to optimization","Jan Rüegg"],["62732e3ac5cd0d9f46dd67095cfa84a929aa32d1","9ab9e3552fe66aee948316a1db47d8272fef0ef2@gmail.com","Merge branch 'master' of github.com:rggjan/cil","Jan Rüegg"]],"ref":"refs/heads/master","size":2,"head":"62732e3ac5cd0d9f46dd67095cfa84a929aa32d1","push_id":34093237}