|[ << LSR work ]||[Top][Contents]||[ Issues >> ]|
|[ < LSR to Git ]||[ Up : LSR work ]||[ Updating the LSR to a new version > ]|
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 grepis highly recommended for this task.