<br /><br /> On 09/21/2010 02:10 PM, Tom Lane wrote: <blockquote cite="mid:6392.1285092648@sss.pgh.pa.us"
type="cite"><prewrap="">Robert Haas <a class="moz-txt-link-rfc2396E"
href="mailto:robertmhaas@gmail.com"><robertmhaas@gmail.com></a>writes:
</pre><blockquote type="cite"><pre wrap="">On Tue, Sep 21, 2010 at 1:32 PM, Alvaro Herrera
<a class="moz-txt-link-rfc2396E" href="mailto:alvherre@commandprompt.com"><alvherre@commandprompt.com></a>
wrote:
</pre><blockquote type="cite"><pre wrap="">I tried to follow the instructions on the Wiki but they didn't work.
</pre></blockquote></blockquote><pre wrap="">
</pre><blockquote type="cite"><pre wrap="">Oops. I left out a step. Fixed.
</pre></blockquote><pre wrap="">
While we're discussing possible errors on that page ... at the bottom of
the page under the "multiple workdirs" alternative are these recipes for
re-syncing your local checkouts:
git checkout REL9_0_STABLEgit pull
git checkout mastergit reset --hard origin/master
Are the git checkout steps really needed, considering each workdir would
normally be on its target branch all the time? If so, what are they
accomplishing exactly? I don't think I've entirely internalized what
that command does.
</pre></blockquote><br /><br /> What I'm planning (unless someone convinces me it's a really bad idea) doesn't quite
matchany of the patterns on the wiki. <br /><br /> It's kinda like this:<br /><blockquote><pre>git clone --mirror <a
class="moz-txt-link-abbreviated"
href="mailto:ssh://git@gitmaster.postgresql.org/postgresql.git">ssh://git@gitmaster.postgresql.org/postgresql.git</a>
<spanclass="moz-txt-citetags">
</span>git clone postgresql.git pg_rel9_0 <span class="moz-txt-citetags">
</span>cd pg_rel9_0
<span class="moz-txt-citetags"></span>git checkout REL9_0_STABLE
<span class="moz-txt-citetags"></span>git remote set-url --push origin <a class="moz-txt-link-abbreviated"
href="mailto:ssh://git@gitmaster.postgresql.org/postgresql.git">ssh://git@gitmaster.postgresql.org/postgresql.git</a></pre></blockquote><br
/>with a cron job to do a "git fetch -q" fairly frequently on the mirror. That way I'll pull from the local mirror but
pushback to the remote master. ("git remote set-url --push" is a relatively recent addition to the ever changing git
landscape.)<br/><br /> cheers<br /><br /> andrew<br />