Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reclaim the python3-libraries fuzzer (repo change) #12761

Merged
merged 1 commit into from
Dec 12, 2024

Conversation

gpshead
Copy link
Contributor

@gpshead gpshead commented Nov 24, 2024

The fuzzer repo https://github.com/guidovranken/python-library-fuzzers was deleted for the owners own reasons so the project is now failing; #12746. We've restored a fork of that repo and would like to keep this fuzzing running for the CPython project for ourselves.

(we may choose to move the repo to under the /python/ GitHub org in the future, if so, that's just another followup PR)

https://github.com/guidovranken/python-library-fuzzers has been deleted for the
owners own reasons.  We've restored a fork of that repo and would like to keep
this fuzzing running for the CPython project.

TBD - we may put a clone under the /python/ org on github instead of within
a fellow core devs personal github.  If so I'll make another commit before
proceeding with a PR.
Copy link

gpshead is either the primary contact or is in the CCs list of projects/python3-libraries.
gpshead has previously contributed to projects/python3-libraries. The previous PR was #12025

@gpshead
Copy link
Contributor Author

gpshead commented Nov 24, 2024

@sethmlarson as FYI since i'm proposing you as primary contact 😅 . looking at my email this ranged from 0-4 "oss-fuzz: python3-libraries" notifications per month.

@guidovranken do you still want to be cc'd on these?

@DavidKorczynski
Copy link
Collaborator

@gpshead is this still meant to be in draft more?

@gpshead gpshead marked this pull request as ready for review December 12, 2024 05:20
@gpshead
Copy link
Contributor Author

gpshead commented Dec 12, 2024

whoops, nope. it's ready. I heard from guidovranken via email, he's fine with this.

@DavidKorczynski DavidKorczynski merged commit a7021ed into google:master Dec 12, 2024
16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants