Skip to content

Typing fixes - remove deleted symbols from stub#1370

Merged
jdavid merged 1 commit intolibgit2:masterfrom
Andrej730:master
May 4, 2025
Merged

Typing fixes - remove deleted symbols from stub#1370
jdavid merged 1 commit intolibgit2:masterfrom
Andrej730:master

Conversation

@Andrej730
Copy link
Contributor

See commits descriptions for the details.

@jdavid can you please take a look?

@Andrej730
Copy link
Contributor Author

Fixed linter issue.

@Andrej730 Andrej730 changed the title Typing fixes - add __all__, remove deleted symbols from stub Typing fixes - remove deleted symbols from stub May 3, 2025
@Andrej730 Andrej730 requested a review from jdavid May 3, 2025 17:16
@jdavid jdavid merged commit 293bd9a into libgit2:master May 4, 2025
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