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