Tom Lane <t...@sss.pgh.pa.us> wrote: >>> 1) We can migrate the repository with the keywords, and then make one big >>> commit just after (or before, that doesn't make a difference) removing >>> them. In this case, backbranches and tags look exactly like they do >>> now, but it also means if you do "git diff" between old versions, the >>> keywords will show up there.
>> +1 for #1. Changing history and the resulting possibility of becoming >> one's own grandfather always makes me nervous. > Yeah. One concrete problem with removing the $PostgreSQL$ lines is it > will affect line numbering everywhere. Yeah, it's only off-by-one, but > there could still be confusion. > [...] If not the whole line was removed, but only the "$PostgreSQL$" part, the numbering should stay the same. I guess it would otherwise be challenging to automatically not only delete the "$PostgreSQL$" line, but also leading and/or trailing empty (comment) lines, and not mess up. Tim -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
