Bug 273617

Summary:	Account merge request
Product:	Services	Reporter:	Joel Bodenmann <jbo>
Component:	Bug Tracker	Assignee:	Bugmeister <bugmeister>
Status:	Closed FIXED
Severity:	Affects Only Me	CC:	jbo
Priority:	---
Version:	unspecified
Hardware:	Any
OS:	Any

Description Joel Bodenmann freebsd_committer

2023-09-07 15:04:47 UTC

I'd like to request merging of this account with my new one <jbo@FreeBSD.org>.

Thank you!

Comment 1 Joel Bodenmann freebsd_committer

2023-09-07 15:05:08 UTC

Confirming that this is what should happen via my new account.

Comment 2 Mark Linimon freebsd_committer

2023-10-20 00:21:38 UTC

To submitter: it looks like this has already happened and I forgot to close the PR.  Correct?

Comment 3 Joel Bodenmann freebsd_committer

2023-10-20 01:14:53 UTC

It looks like that to me - yes.

I noticed that the accounts seemed to be merged on my end but didn't know whether more work needs to happen behind the scenes which is why the PR was left open. But I also didn't feel like asking in case you guys have a lot on your plate :)

Thanks!