update committers list

[lsf37]

Scott and Zoltan have left UNSW, Rob switched from Melbourne to UNSW, and Indan has accepted the committer role.

[lsf37]

@Indanz I've assigned the PR to you so you can try out the new rights by merging the PR (if you approve of it).

[Indanz]

I just moved to Ireland and I'm very busy sorting things out here. I'll merge this later this week, after I figured out how to get a local checkout and update this and all that. In the meantime, if anyone else has info that needs updating, please say so.

[Indanz]

How can I see which email address will be used? I noticed elsewhere that Github still wants to use my MEP email for update with master merges, and I'm afraid it will want to do the same for upstream merges. I can't find how to tell Github to not use my old MEP email for anything other than removing the address altogether.

[axel-h]

How can I see which email address will be used?

You mean you github account's e-mail address? See https://github.com/settings/emails
For you local commits, the git settings from ~/.gitconfig are used.

[Indanz]

I found that page and Github docs say it will use my primary email for actions done via the web interface. However, that doesn't seem to be true, considering it tells me:

"Merge the latest changes from master into this branch.

This merge commit will be associated with [email protected]."

on a PR page, hence my question.

[lsf37]

I found that page and Github docs say it will use my primary email for actions done via the web interface. However, that doesn't seem to be true, considering it tells me:

"Merge the latest changes from master into this branch.

This merge commit will be associated with [email protected]."

on a PR page, hence my question.

Strange, for me it does tend to use the primary address. Is there any option on that merge page to use a different address?

[Indanz]

I can't find any! All I can think of is that it uses my last used signed-off for seL4, even after changing my email settings. I can merge it, but it may have the wrong signed-off line if I do it via the web interface.