Fixes to integrate Lean GHTorrent