Skip to content

Conversation

@erikaheidi
Copy link
Contributor

Adding the php-redis extension.

For new package PRs only

  • This PR is marked as fixing a pre-existing package request bug
    • Alternatively, the PR is marked as related to a pre-existing package request bug, such as a dependency
  • REQUIRED - The package is available under an OSI-approved or FSF-approved license
  • REQUIRED - The version of the package is still receiving security updates
  • REQUIRED - The package is added to packages.txt

@erikaheidi erikaheidi requested a review from a team as a code owner July 6, 2023 16:51
@erikaheidi erikaheidi requested review from ajayk and jdolitsky July 6, 2023 16:51
@dlorenc dlorenc added this pull request to the merge queue Jul 6, 2023
Merged via the queue into wolfi-dev:main with commit 1c242d0 Jul 6, 2023
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