On Tue, Jul 17, 2018 at 1:04 AM, Remi Collet <r...@fedoraproject.org> wrote: > Le 13/07/2018 à 23:48, Zeev Suraski a écrit : > Perhaps we can also add all the generated files (including configure) in > the tagged versions, so the tag will have same content than the official > archive. > Ick, no. That's the worst outcome IMO. I don't think they need to be in git, but if we're going to have them there during tags, then they should always be there. One way or the other, not some middle-of-the-road thing.
-Sara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php