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

Sync one repo at a time #1016

Open
amberin opened this issue Dec 14, 2022 · 0 comments
Open

Sync one repo at a time #1016

amberin opened this issue Dec 14, 2022 · 0 comments

Comments

@amberin
Copy link
Contributor

amberin commented Dec 14, 2022

  • ✅ I have searched for existing issues that may be the same as or related to mine.

I have started to use multiple Git repos (on my own PR branch #963). It works well, but syncing is painfully slow.

I haven't looked at the logic for the other repo types, but I believe Git syncing could be made a lot faster if we would group notebooks by repo before syncing them. This would speed up Git syncing even when using only a single repo.

Today, we loop over all notebooks, and sync them separately. (I have already moved git pushing out of this loop to save some time.)

But syncing repos separately would allow a much faster workflow for Git. There would be no need to loop over each notebook, and when there are changes, they could all go into a single commit.

For other repo types, looping over notebooks would still be possible, if necessary.

Can anyone see problems with this approach?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant