Skip to content

Fix: Consistently use [email protected] #11752

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jul 21, 2023
Merged

Fix: Consistently use [email protected] #11752

merged 1 commit into from
Jul 21, 2023

Conversation

localheinz
Copy link
Contributor

This pull request

💁‍♂️ Running

git grep release-managers

on current master yields

docs/release-process.md:86:7. Communicate with release managers via [email protected].
docs/release-process.md:324:16. Once the release is tagged, contact the release-managers@ distribution
docs/release-process.md:328:    Here is an example "ready for builds" message to [email protected]:
docs/release-process.md:618:15. Once the release is tagged, contact the release-managers@ distribution
docs/release-process.md:625:    Here is an example "ready for builds" message to [email protected]:
docs/release-process.md:934:   added to the release-managers@ distribution list.

@localheinz localheinz changed the title Fix: Consistently use [email protected] Fix: Consistently use [email protected] Jul 20, 2023
@iluuu1994 iluuu1994 merged commit 4c92e7b into php:master Jul 21, 2023
@iluuu1994
Copy link
Member

Thanks @localheinz!

@localheinz localheinz deleted the fix/list branch July 21, 2023 08:54
@localheinz
Copy link
Contributor Author

Thank you, @iluuu1994!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@localheinz @iluuu1994