Excerpts from Magnus Hagander's message of mar oct 19 05:23:31 -0300 2010:
>
> He certainly could, but github provides more features and a nicer look
> :-) And since it's git, it doesn't matter where the repo is.
Yeah. If you have a checked out copy of the GIT repo (preferably one
with the "master" branch in it), try this:
git remote add venum git://github.com/adunstan/postgresql-dev.git
git fetch venum venums:venums
git checkout venums
Then you have the patch in all its Git glory, in branch "venums".
--
Álvaro Herrera <alvherre@commandprompt.com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support