search

w3c / media-source

Media Source Extensions
https://w3c.github.io/media-source/
Other
268 stars 57 forks source link

Update current wolenetz editor data #333

Closed wolenetz closed 1 year ago

wolenetz commented 1 year ago

For now at least, I'm in two places: current and former editor lists. This seems to me to be the best way to show precise history of my associaton (previously Google, now a W3C Invited Expert). This change also updates my email to one that reaches me.

Preview | Diff

wolenetz commented 1 year ago

@tidoust - For some reason, the ipr check is failing even though when I navigate to https://www.w3.org/groups/wg/media/join/, it shows "Warning You already joined this group". Can you help me figure this out please?

marcoscaceres commented 1 year ago

@wolenetz, just also want to confirm that you will continue as a Editor? Can we assign you tasks etc?

wolenetz commented 1 year ago

@wolenetz, just also want to confirm that you will continue as a Editor? Can we assign you tasks etc?

Yes, though be advised I have less time to devote to editing than in the past.

tidoust commented 1 year ago

@tidoust - For some reason, the ipr check is failing even though when I navigate to https://www.w3.org/groups/wg/media/join/, it shows "Warning You already joined this group". Can you help me figure this out please?

Now fixed. The IPR bot got confused because it still had your previous W3C account in its (long-standing) cache. Cache invalidation is hard ;)

wolenetz commented 1 year ago

@tidoust and @marcoscaceres thanks for the reviews and for fixing the IPR bot. If this LGTY, I'll squash and merge it.