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

Correct the approach to fetching git history. #32

Merged
merged 1 commit into from
Dec 18, 2023

Conversation

lerebear
Copy link
Owner

@lerebear lerebear commented Dec 18, 2023

This new approach is simpler and appears to work more correctly.

Closes #31.

@lerebear lerebear force-pushed the lerebear-diffing-again branch 3 times, most recently from e1e64e1 to 45263f5 Compare December 18, 2023 09:08
This new approach is simpler and, in local tests, seems to work just
as well.
@lerebear lerebear force-pushed the lerebear-diffing-again branch from 45263f5 to 76ed6f5 Compare December 18, 2023 09:20
@lerebear lerebear changed the title Correct the refspecs used for fetching git history. Correct the approach to fetching git history. Dec 18, 2023
@lerebear lerebear merged commit 5dbb805 into main Dec 18, 2023
2 checks passed
@lerebear lerebear deleted the lerebear-diffing-again branch December 18, 2023 09:37
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.

Workflow occasionally fails with "no merge base" error
1 participant