Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Inherited from Iris |
Maintainer
|
Oct 28, 2015
Jan 24, 2019
Apr 11, 2025
| ||
Direct member by Ralf Jung |
Developer
|
Oct 15, 2020
Dec 16, 2020
Mar 31, 2025
| ||
Inherited from Iris |
Owner
|
Apr 28, 2016
Oct 31, 2018
Apr 01, 2025
| ||
Direct member by Robbert Krebbers |
Developer
|
Mar 04, 2020
Jul 19, 2021
Aug 05, 2024
| ||
Inherited from Iris |
Maintainer
|
Apr 13, 2016
Oct 31, 2018
Apr 15, 2025
| ||
Inherited from Iris |
Maintainer
|
Sep 22, 2015
Oct 31, 2018
Apr 12, 2025
| ||
Direct member by Ralf Jung |
Developer
|
Aug 09, 2016
Dec 16, 2020
Apr 07, 2025
| ||
Direct member by Ralf Jung |
Developer
|
Apr 29, 2022
Nov 09, 2023
Apr 11, 2025
| ||
Direct member by Ralf Jung |
Owner
|
Mar 31, 2020
Dec 16, 2020
Apr 15, 2025
| ||
Inherited from Iris |
Owner
|
Sep 05, 2018
Mar 06, 2020
Apr 11, 2025
| ||
Direct member by Ralf Jung |
Developer
|
Oct 04, 2022
Nov 02, 2023
Apr 10, 2025
| ||
Inherited from Iris |
Owner
|
Sep 23, 2015
Oct 31, 2018
Apr 14, 2025
| ||
Inherited from Iris |
Owner
|
Oct 20, 2015
Oct 31, 2018
Apr 14, 2025
| ||
Inherited from Iris |
Maintainer
|
Jan 04, 2019
Sep 22, 2021
Mar 03, 2025
| ||
Direct member by Ralf Jung |
Maintainer
|
May 04, 2019
Dec 16, 2020
Apr 14, 2025
| ||
Inherited from Iris |
Maintainer
|
Mar 03, 2019
Mar 03, 2019
Apr 10, 2025
|
