Merge: lib/github: GitHub loader
authorJean Privat <jean@pryen.org>
Mon, 27 Feb 2017 18:08:08 +0000 (13:08 -0500)
committerJean Privat <jean@pryen.org>
Mon, 27 Feb 2017 18:08:08 +0000 (13:08 -0500)
commit8f580c2bfcc2125d10384bc25c38d2c4387d8462
tree606ea48b53ccb077ba2b7b5253637b70dae65c95
parent69d1a21891f2bd6824bf7c90f7c29597c2a7b3e8
parent7f31b5780344aeb48645994278c6b9ee0be6156d
Merge: lib/github: GitHub loader

Helper tool to download a Github repo and store it in a Mongo database.

Features:
* supports github wallets
* save current job and restore jobs after failure
* options to enable branches, commits, issues, pulls, comments and events loading

Pull-Request: #2369
Reviewed-by: Jean Privat <jean@pryen.org>
lib/json/serialization_write.nit