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
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.