Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make diff generation lazy #98

Merged
merged 7 commits into from
Apr 21, 2015
Merged

Make diff generation lazy #98

merged 7 commits into from
Apr 21, 2015

Conversation

danvk
Copy link
Owner

@danvk danvk commented Apr 20, 2015

This factors out two Diff classes: LocalFileDiff and GitHubDiff. These have the ability to generate diff information on demand. For example, GitHubDiff only pulls down files from GitHub when you view them in the web UI. This makes startup dramatically faster.

This cleans up a lot of code—the JSON objects that are passed from server to client are all generated in diff.py now, rather than in bits and pieces throughout the codebase.

Fixes #60
Fixes #68
Fixes #90
See #97

danvk added a commit that referenced this pull request Apr 21, 2015
Make diff generation lazy
@danvk danvk merged commit 1094d41 into master Apr 21, 2015
@danvk danvk mentioned this pull request Apr 21, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Only displays first ~100 files in large PR Quick views of PR files by status Fetch github files lazily
1 participant