Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Direct member by Jonas Kastberg |
Maintainer
|
Feb 07, 2020
Apr 03, 2020
Oct 19, 2021
| ||
Inherited from Iris |
Maintainer
|
Oct 28, 2015
Jan 24, 2019
Apr 22, 2025
| ||
Inherited from Iris |
Owner
|
Apr 28, 2016
Oct 31, 2018
Apr 01, 2025
| ||
Inherited from Iris |
Maintainer
|
Apr 13, 2016
Oct 31, 2018
Apr 22, 2025
| ||
Inherited from Iris |
Maintainer
|
Sep 22, 2015
Oct 31, 2018
Apr 16, 2025
| ||
Direct member by Robbert Krebbers |
Maintainer
|
Jun 13, 2019
Oct 17, 2019
Oct 31, 2024
| ||
Direct member by Robbert Krebbers |
Maintainer
|
Dec 14, 2017
Oct 17, 2019
Apr 18, 2025
| ||
Inherited from Iris |
Owner
|
Mar 31, 2020
Jul 27, 2021
Apr 22, 2025
| ||
Inherited from Iris |
Owner
|
Sep 05, 2018
Mar 06, 2020
Apr 18, 2025
| ||
Inherited from Iris |
Owner
|
Sep 23, 2015
Oct 31, 2018
Apr 22, 2025
| ||
Inherited from Iris |
Owner
|
Oct 20, 2015
Oct 31, 2018
Apr 22, 2025
| ||
Inherited from Iris |
Maintainer
|
Jan 04, 2019
Sep 22, 2021
Mar 03, 2025
| ||
Inherited from Iris |
Maintainer
|
May 04, 2019
Sep 21, 2022
Apr 21, 2025
| ||
Inherited from Iris |
Maintainer
|
Mar 03, 2019
Mar 03, 2019
Apr 10, 2025
|
