[Discussion] Add Development Containers definitions
| From: | Go Kudo | Date: | Sun, 04 Aug 2024 13:40:45 +0000 |
| Subject: | [Discussion] Add Development Containers definitions | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-124737@lists.php.net to get a copy of this message | ||
Hello.
How about adding a definition of Development Containers to php-src?
https://github.com/php/php-src/pull/15203
This makes it easier to build and contribute to the php-src development
environment. It also allows you to use GitHub Codespaces.
I'd be glad to get your opinion.
Best regards,
Go Kudo