From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 11 May 2011 18:00:25 GMT
Subject: Re: How do I push all remote branches to a new/different remote?
Message-ID: <7vy62df77q.fsf@alter.siamese.dyndns.org>
In-Reply-To: <BANLkTi=EtRPcjaeCRNgLQ39JsqzS=_69hA@mail.gmail.com>

Howard Miller <howard@e-learndesign.co.uk> writes:

> git push ...you tell me..

You can say "please" here ;-)  Shouldn't this work?

	git push $that_url 'refs/*:refs/*'