<div dir="ltr">Hey all not-dormant PHP co-maintainers,<div><br></div><div>I did some cleanup in the git repository, renaming branches to more standard master{-<dist} format and removing the old ones</div><div><div><br></div>

<div style>The old repository before the changes is still archived under php-old-releases-archived.git name.</div><div><br></div><div style>Either edit your .git/config or just clone the tree from scratch.</div><div style>

<br></div><div style>Current list of branches at <a href="http://git.debian.org">git.debian.org</a>:</div><div style><div>* master<br></div><div>  master-wheezy</div><div>  pristine-tar</div><div>  upstream</div><div>  upstream-wheezy</div>

<div><br></div></div><div><br></div><div style>O.</div>-- <br>Ondřej Surý <<a href="mailto:ondrej@sury.org" target="_blank">ondrej@sury.org</a>>
</div></div>