# push --mirror on post-receive hook? 2 messages from 2011-05-12 to 2011-05-13. Participants: Jordi Bunster, Ilari Liusvaara. Thread: https://gitlist.dev/t/27342 ## Jordi Bunster, 2011-05-12 21:35 Subject: push --mirror on post-receive hook? Message-ID: URL: https://gitlist.dev/e/BANLkTim9S2qGRB%3DbWxWkMj3s%3DkmD%3DYaZqA%40mail.gmail.com ``` Is it safe to call push --mirror $SOME_REMOTE on a post-receive hook? Is push always safe for the source repo? ``` ## Ilari Liusvaara, 2011-05-13 08:25 Subject: Re: push --mirror on post-receive hook? Message-ID: <20110513082516.GA17821@LK-Perkele-VI.localdomain> URL: https://gitlist.dev/e/20110513082516.GA17821%40LK-Perkele-VI.localdomain In-Reply-To: ``` On Thu, May 12, 2011 at 02:35:15PM -0700, Jordi Bunster wrote: > Is it safe to call push --mirror $SOME_REMOTE on a post-receive hook? > Is push always safe for the source repo? Yes, it is safe, apart from potential hang if $SOME_REMOTE can't be contacted (it can take minutes for the TCP connect() to time out). -Ilari ```