Skip to content

Update based course experiences#9

Merged
enryH merged 2 commits intomainfrom
hints_from_course
Nov 6, 2025
Merged

Update based course experiences#9
enryH merged 2 commits intomainfrom
hints_from_course

Conversation

@enryH
Copy link
Copy Markdown
Collaborator

@enryH enryH commented Nov 6, 2025

Add instructions to globally or locally define how to handle diverging changes

Situation:

  • local commits not on origin
  • new commits on branch on origin

See the preview for the last modified PR:

enryH added 2 commits November 6, 2025 10:20
…ing changes

Situation:
- local commits not on origin
- new commits on branch on origin
@enryH enryH marked this pull request as ready for review November 6, 2025 17:09
@enryH enryH merged commit 32041c1 into main Nov 6, 2025
1 check passed
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.

1 participant