# git push failed

- Thread: https://externals.io/message/63700
- Original archive: https://news-web.php.net/php.internals/63700
- Started by Laruence on 2012-10-29T07:20:04+00:00
- Messages: 3
- Reply by email to internals@lists.php.net
- More for agents: search with https://externals.io/search.md?q={query} · JSON API at https://externals.io/api · documentation at https://externals.io/llms.txt

---

## #63700 — Laruence — 2012-10-29T07:20:04+00:00

URL: https://externals.io/message/63700#63700

Hey:
   is there any change to git box recently?

   I got a fail message like:

   Total 5 (delta 3), reused 0 (delta 0)
   remote: Shared object "libvpx.so.0" not found, required by "php"To
git@git.php.net:php-src.git


thanks
-- 
Laruence  Xinchen Hui
http://www.laruence.com/

---

## #63703 — Rasmus Lerdorf — 2012-10-29T13:16:15+00:00

URL: https://externals.io/message/63700#63703 · In reply to: #63700

> Hey:
>    is there any change to git box recently?
> 
>    I got a fail message like:
> 
>    Total 5 (delta 3), reused 0 (delta 0)
>    remote: Shared object "libvpx.so.0" not found, required by "php"To
> git@git.php.net:php-src.git

This is fixed now.

---

## #63704 — Laruence — 2012-10-29T13:34:46+00:00

URL: https://externals.io/message/63700#63704 · In reply to: #63703

> 
> > […]
>
> This is fixed now.
hey:
   great,  thanks
>



-- 
Laruence  Xinchen Hui
http://www.laruence.com/