9 Commits

Author	SHA1	Message	Date
Avasam	3719f02dbf	Using precise code for pyright: ignore and re-enabling various pyright tests (#12576)	2024-08-22 03:34:52 +02:00
Max Muoto	37807d753a	Use Generator instead of Iterator for 3rd-party context managers (#12481)	2024-08-12 14:26:18 +02:00
Adin W-T	cfb33ac1bd	Add reexport to RemoteCallbacks in pygit2 (#12483)	2024-08-05 10:52:23 +02:00
sobolevn	4740d320c5	Bump pygit2 to 1.15.* (#12319)	2024-07-13 17:38:05 +02:00
Alex Waygood	95176bde5f	Pin pygit2 to 1.15.0 (#12293) ... Fixes #12292	2024-07-08 01:46:49 +01:00
Ali Hamdan	d9f47c37b3	Bump pygit2 to 1.15 and fix enums (#11983)	2024-05-19 12:04:44 +02:00
WÁNG Xuěruì	0ad1501a99	pygit2: Workaround python/mypy#16972 (#11584) ... To fix the signatures of `clone_repository` and `init_repository` as seen by type checkers.	2024-03-16 14:14:15 +01:00
WÁNG Xuěruì	e960f2ff77	pygit2: Add missing Repository fields (#11579)	2024-03-12 11:38:44 +01:00
WÁNG Xuěruì	9a4b605065	Add stubs for pygit2 (#11374) ... The upstream library is very tricky to type (likely requires nontrivial refactoring), and only contains partial type information, but stubs are a lot easier because only the public signatures are involved this way, so I plan to first make the library usable in typed projects by making stubs available here, then gradually work my way upstream. The stubs are auto-generated then completed with fully manual inspection of every Python source file. The `_pygit2.pyi` comes from upstream and is mostly untouched except for required style changes, the signature of `options()`, and `FilterSource` which is missing from upstream.	2024-03-11 22:48:12 -07:00