From: Jordi Bunster <jordi@bunster.org>
Date: Thu, 12 May 2011 21:35:15 GMT
Subject: push --mirror on post-receive hook?
Message-ID: <BANLkTim9S2qGRB=bWxWkMj3s=kmD=YaZqA@mail.gmail.com>

Is it safe to call push --mirror $SOME_REMOTE on a post-receive hook?
Is push always safe for the source repo?