On Wed, Sep 29, 2010 at 9:36 AM, M.-A. Lemburg <m...@egenix.com> wrote:
> You don't need to spend any extra time on this: just put all the tags
> that Dirkjan wants to delete into some other place. The separation
> work has already been done by Dirkjan.
>
> Note that the reason for keeping this history around is just that:
> for historic purposes and possible future research (e.g on copyright
> issues). It's not meant for development.

Can just create a .hgtags_historic that has the full tag list so if
someone wants to do historic tag data mining they can just replace the
.hgtags to get the historic tags.


mm that gives me an idea for a HG plugin to be able to set a tag as
historic so it removes it from the .hgtags to .hgtags_historic and
some bindings to be able to use historic tags just like normal tags
(but ensure it is explicit to look in historic eg --historic)
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to