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.

1. Send an email to an LSR editor, requesting the renaming.
2. 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.
3. 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.