Robin Berjon @robinberjon · 23 Aug 2013 Is there a tool that will dump/sync all of the information from a given @GitHub repository (including PRs, issues, etc.)? ♥ 1↺ 1