a bug?

diff --git a/doc/bugs/gitremotes_script_picks_up_tags_from_anywhere.mdwn b/doc/bugs/gitremotes_script_picks_up_tags_from_anywhere.mdwn
index eb37aee1b3e890ddce985cb886cd48c6d7ff98e6..32cf419e8fdf4726ce63940b0d56f6397d0c3a54 100644 (file)
--- a/doc/bugs/gitremotes_script_picks_up_tags_from_anywhere.mdwn
+++ b/doc/bugs/gitremotes_script_picks_up_tags_from_anywhere.mdwn
@@ -10,4 +10,9 @@ used for local .debs that were never actually present in Debian:
 This can be avoided with the `tagopt = --no-tags` option in .git/config;
 see <http://git.pseudorandom.co.uk/smcv/ikiwiki.git?a=shortlog;h=refs/heads/ready/no-tags>
 
-> [[done]] thanks. Also cleared propigated tags out of origin. --[[Joey]] 
+> [[done]] thanks. Also cleared propigated tags out of origin. 
+> 
+> Hmm, in testing I still see tags get pulled the first time a remote
+> is added. If those are then locally deleted, it doesn't pull them again
+> with the `--no-tags`.
+> --[[Joey]]