Re: [platform-vcm-dev] Patch: default user names for cvs

[Tom Tromey <tromey@xxxxxxxxxx>]

>>>>> "Michael" == Michael Valenta <Michael_Valenta@xxxxxxx> writes:

Michael> I think that seeding the list of user names is a good thing
Michael> and hard-coding the values is a good start but a mechanism
Michael> that allowed others to contribute to the list would be
Michael> useful. One possibility is an extension point in the
Michael> plugin.xml.

I don't know how to do that yet.  It will be some time before I can
write that patch.

Tom