docs(CONTRIBUTORS): update contributors

[github-actions]

docs(CONTRIBUTORS): update contributors

[wernerfred]

Why did someone got removed? Like what must happened that the contributors get smaller?

[casperklein]

Idk. But the user is also not listed (anymore?) in https://github.com/docker-mailserver/docker-mailserver/graphs/contributors

[georglauterbach]

I guess the use deleted his account?

[polarathene]

I guess the user deleted his account?

No it's still active, they are one of the new contributors listed in the 10.4.0 release.

Not sure why they don't appear on the contributors graph anymore, might be a privacy option?

[casperklein]

might be a privacy option?

I thought about the same, but couldn't find an option in the settings.

[wernerfred]

Could it be that the Account changed its handle? Like @georglauterbach did Last Year?

[georglauterbach]

Could it be that the Account changed its handle? Like @georglauterbach did Last Year?

Very plausible, but I think when I did that, my contributions did not get low, AFAIK. But still an option.

Double-checked. Does not seem to be the case. Tagging @gutmensch here, maybe he can resolve the matter :)

[gutmensch]

Ah sorry for the noise folks, I indeed changed my mail address lately and checked "Keep my email addresses private" without knowing the implications (as the github information was not really helpful for this option). Fixed, thanks for the ping!

[georglauterbach]

Alright. The contributors bot should, with its next PR, re-add the user, right?

[casperklein]

I don't think so, as long as the user does not reappear on the Github contributors page. It would be odd, if the API would return other contributors, than the page.

[georglauterbach]

I don't think so, as long as the user does not reappear on the Github contributors page. It would be odd, if the API would return other contributors, than the page.

I see, that makes sense. I'd go ahead an merge this PR anyways. @gutmensch if you'd like to re-appear on the contributors' page, just create a PR where a typo is fixed or something else :) (I'll leave this open for another day if there are objections to merging this.)

[gutmensch]

Yep, please go ahead and nvm, I added the original commit e-mail address back to my profile and made them public again, so AFAIU github should be able to map the contribution (and I don‘t have any type-o), but it’s really too much chat already for such a small change and what github API is doing here is beyond me anyway. 😄 Please do merge, thanks for reaching out!