-
When an upstream repository is changed, the snippets plugin makes a copy in the personal data dir. Unfortunately, changes are often detected without any real modification. Importantly, a "rename" is often triggered simply by clicking on a repository name. This patch disregards such spurious "changes", and also clarifies the corresponding message a bit.
21d0b10c