Why is the php-redis repository not included in the Debian stretch image for Docker?

edit

There could be several reasons for this. One possibility is that the maintainers of the Debian stretch image did not consider the php-redis repository to be necessary or important enough to include in the image. Another possibility is that there were technical issues that prevented the inclusion of the repository, such as compatibility or versioning issues. It is also possible that the php-redis repository was intentionally left out for security or stability reasons. Ultimately, the reasons for the exclusion would depend on the specific decisions and priorities of the Debian stretch image maintainers.