Guido Grune was elected committer. Everything was approved and he is marked as committer on the eclipse project page. What needs to be done, so his github user becomes committer rights as well? His github user is gg-dim. Thanks.