Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Direct member by Robbert Krebbers |
Maintainer
|
Sep 08, 2016
Jan 15, 2020
Mar 14, 2025
| ||
Direct member by Robbert Krebbers |
Maintainer
|
Oct 28, 2015
Jan 15, 2020
May 02, 2025
| ||
Inherited from Iris |
Owner
|
Apr 28, 2016
Oct 31, 2018
Apr 01, 2025
| ||
Inherited from Iris |
Maintainer
|
Apr 13, 2016
Oct 31, 2018
May 06, 2025
| ||
Inherited from Iris |
Maintainer
|
Sep 22, 2015
Oct 31, 2018
May 05, 2025
| ||
Inherited from Iris |
Owner
|
Mar 31, 2020
Jul 27, 2021
May 06, 2025
| ||
Inherited from Iris |
Owner
|
Sep 05, 2018
Mar 06, 2020
May 05, 2025
| ||
Inherited from Iris |
Owner
|
Sep 23, 2015
Oct 31, 2018
May 05, 2025
| ||
Inherited from Iris |
Owner
|
Oct 20, 2015
Oct 31, 2018
May 05, 2025
| ||
Inherited from Iris |
Maintainer
|
Jan 04, 2019
Sep 22, 2021
May 05, 2025
| ||
Inherited from Iris |
Maintainer
|
May 04, 2019
Sep 21, 2022
May 05, 2025
| ||
Inherited from Iris |
Maintainer
|
Mar 03, 2019
Mar 03, 2019
Apr 10, 2025
|
