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

Use fetch and checkout origin/main instead of pull #153

Merged

Conversation

amerharb
Copy link
Collaborator

Description

Solve the issue if main brach in local have diff history than remote one.

Changes

  • instead of (checkout main then pull) now we (fetch then checkout origin/main)

Related issues

Resolves #147

@amerharb amerharb marked this pull request as draft January 20, 2025 08:59
webapp/src/RepoGit.ts Outdated Show resolved Hide resolved
@amerharb amerharb marked this pull request as ready for review February 1, 2025 10:00
@amerharb amerharb requested a review from WULCAN February 1, 2025 10:21
@amerharb amerharb changed the title Draft: use fetch and checkout origin/main instead of pull Use fetch and checkout origin/main instead of pull Feb 1, 2025
webapp/src/RepoGit.ts Outdated Show resolved Hide resolved
Copy link
Collaborator

@henrycatalinismith henrycatalinismith left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

seems bloody important

@amerharb amerharb merged commit 7c8e25b into main Feb 2, 2025
1 check passed
@amerharb amerharb deleted the issue-147/avoid-crash-when-base-branch-have-a-divergent-history branch February 2, 2025 08:22
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.

Crash when trying to sync with main branch that have diff history
4 participants