Skip to content

Conversation

@warsaw
Copy link
Member

@warsaw warsaw commented Apr 15, 2022

Closes #91551

@warsaw warsaw requested a review from a team as a code owner April 15, 2022 01:14
@warsaw warsaw self-assigned this Apr 15, 2022
@warsaw warsaw requested a review from larryhastings April 15, 2022 01:14
@warsaw warsaw marked this pull request as draft April 16, 2022 20:34
@warsaw
Copy link
Member Author

warsaw commented Apr 16, 2022

Converting to draft until I export this to a separate repo.

@warsaw warsaw marked this pull request as ready for review April 17, 2022 22:36
@warsaw warsaw merged commit 7173fd5 into python:main Apr 17, 2022
@warsaw warsaw deleted the remove-pynche branch June 11, 2022 17:06
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.

Remove Tools/pynche

2 participants