On Sat, Nov 7, 2020 at 5:14 AM Christoph M. Becker <cmbecke...@gmx.de> wrote:
> I've just noticed a pull request[1] which suggests to no longer > abbreviate the php-src Git hashes to 7 digits only, because there are > already collisions. Using 10 digits as suggested seems reasonable to > me, but I wanted to check if there are other places affected than the RM > tools. > > So, is anybody aware of some of our tooling also using 7 digit hash > abbreviations? Do we need to announce that change elsewhere than > besides on <https://windows.php.net/>? > > [1] <https://github.com/php/web-rmtools/pull/15> > > Christoph > > None of my personal tooling does any hash trimming at all, so no problems here. That PR seems 100% reasonable AFAICT. -Sara
