pull down to refresh

Every person who clones git repository has full copy with full history of code and commit messages. That's not the issue, easy to migrate. Problem is with issues and pull requests, their comments and code review comments, which are GitHub specific.