Hi, not sure if this is the right address to write to, but when pushing a few minutes ago, I got this:
# git push origin PHP-7.3 PHP-7.4 master Counting objects: 108, done. Delta compression using up to 8 threads. Compressing objects: 100% (48/48), done. Writing objects: 100% (48/48), 5.39 KiB | 0 bytes/s, done. Total 48 (delta 45), reused 0 (delta 0) remote: Checking connectivity: 48, done. remote: Welcome mbeccati. remote: Segmentation fault remote: Changesets accepted. Thank you for your contribution. remote: remote: Use of uninitialized value $merge_base in scalar chomp at hooks/update line 38. remote: Use of uninitialized value $merge_base in string ne at hooks/update line 48. remote: Attempting to push to mirror [email protected]:php/php-src.git remote: ssh: error while loading shared libraries: libpthread.so.0: failed to map segment from shared object remote: fatal: Could not read from remote repository. remote: remote: Please make sure you have the correct access rights remote: and the repository exists. To [email protected]:php-src.git ad750c3..44ade0e PHP-7.3 -> PHP-7.3 b396fb3..42b6b8a PHP-7.4 -> PHP-7.4 ad97739..dc4d554 master -> master Cheers -- Matteo Beccati Development & Consulting - http://www.beccati.com/ -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
