Skip to content

Conversation

@petk
Copy link
Member

@petk petk commented Apr 10, 2023

Changes

  • This syncs the word "Git" a bit more across the book.

@ben ben merged commit 4ed995e into progit:main Apr 11, 2023
@petk petk deleted the patch-git branch April 12, 2023 17:20
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.

2 participants