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