On Sat, Nov 7, 2020 at 5:14 AM Christoph M. Becker <cmbecker69@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
