Robert Haas wrote:
> The master branch can be removed the same as any other one - just
> substitute master in place of REL9_0_STABLE in the above commands.
> But why would you do such a nutty thing? Worst case scenario looks to
> me like you type the first of those commands and then go "oh crud".
> And if any of our 19 committers were unaware of the hazards of
> inserting random colons into their git commands, hopefully this -----------------------------------------------
> discussion has awakened them to the error of their ways.
Yes, that was really my goal --- to point out that some git operations
are not reverable.
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ It's impossible for everything to be true. +