Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Direct member by Robbert Krebbers |
Maintainer
|
Oct 28, 2015
Jun 26, 2020
Apr 22, 2025
| ||
Inherited from Iris |
Owner
|
Apr 28, 2016
Oct 31, 2018
Apr 01, 2025
| ||
Direct member by Robbert Krebbers |
Maintainer
|
Jun 19, 2020
Jun 26, 2020
Apr 18, 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
| ||
Inherited from Iris |
Owner
|
Mar 31, 2020
Jul 27, 2021
Apr 22, 2025
| ||
Direct member by Robbert Krebbers |
Owner
|
Sep 05, 2018
Jun 26, 2020
Apr 22, 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 22, 2025
| ||
Inherited from Iris |
Maintainer
|
Mar 03, 2019
Mar 03, 2019
Apr 10, 2025
| ||
Direct member |
Developer
|
Aug 28, 2024
Aug 28, 2024
Apr 18, 2025
| ||
Direct member by Ike Mulder |
Developer
|
Jul 24, 2021
Jul 24, 2021
May 13, 2022
|
