What about #1 with 1 twist?
Prefix the role with "Emeritus (mm/YY)" to further clarify when they
went inactive.
Actually, my vote is for #3, since previous releases will have those
guys/gals still listed in the distribution. I think we should keep
the current list, ummm current. Just my $.02.
+1 for #1
Martin Cooper schrieb:
> I'm pondering the "right" way to update the developer list in our master POM
> for people who have gone emeritus. I can think of several options:
>
> 1) Prefix the role with "Emeritus", so "PMC Member" -> "Emeritus PMC Member"
> and "Committer" -> "Emeritus Comm
I'm pondering the "right" way to update the developer list in our master POM
for people who have gone emeritus. I can think of several options:
1) Prefix the role with "Emeritus", so "PMC Member" -> "Emeritus PMC Member"
and "Committer" -> "Emeritus Committer".
2) For a PMC member who has gone em
