7.6 Renaming a snippet
Due to the potential duality of snippets (i.e., they may exist
both in the LSR database and in
‘Documentation/snippets/new/’), this process is a bit
more involved than we might like.
-
Send an email to an LSR editor, requesting the renaming.
-
The LSR editor does the renaming (or debates the topic with you),
then warns the LSR-to-git person (wanted: better title) about the
renaming.
-
LSR-to-git person does his normal job, but then also renames any
copies of the snippets in ‘Documentation/snippets/new/’,
and any instances of the snippet name in the documentation.
git grep is highly recommended for this task.