technology.sensinact committer status sync to github

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.