On 10/8/05, Alphax <alphasigmax(a)gmail.com> wrote:
Merge-and-redirect often *does* require admin attention, because the
"proper procedure" is to perform a history merge, isn't it?
Absolutely not. A history merge should be limited to situations such as
those where a fork has been created. A proper merge is one that would permit
the merge to be reversed at some time in the future, and this would require
the use of a redirect, not a history merge.