@gskapkaFormer employee
- PRs merged
- 11
- Internal authors supported
- 4
- Currently active authors
- 0
- First merge
- Dec 3, 2018
- Last merge
- Jan 22, 2024
Early maintainer
Internal authors whose PRs they merged
Back to Organizations
Provable Things
Stealth
Distributed
0 current maintainers0 active leads
Maintainer signals as of Aug 10, 2026
Maintainer Intelligence
This view starts from the canonical internal-employee model. A maintainer is an internal employee who merged at least one pull request in a non-fork repository; external contributors, bots, and PR authors are not treated as causal. Active leads have merged within the last three months.
0
Current maintainers
0
Active leads
0
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Signals as of Aug 10, 2026github.com/provable-things
Maintainers (10)
Open GitHub profile ↗
@oliviera9Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Mar 10, 2022
- Last merge
- Jun 1, 2023
Early maintainer
Open GitHub profile ↗@gitmp01Former employee
- PRs merged
- 9
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Feb 13, 2019
- Last merge
- Nov 29, 2022
Early maintainer
Internal authors whose PRs they merged
@allemanfrediFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Dec 5, 2019
- Last merge
- Jun 25, 2021
Early maintainer
Open GitHub profile ↗@riccardopersianiFormer employee
- PRs merged
- 3
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Jul 11, 2018
- Last merge
- Jun 30, 2020
Early maintainer
Internal authors whose PRs they merged
@bertaniFormer employee
- PRs merged
- 14
- Internal authors supported
- 4
- Currently active authors
- 0
- First merge
- Dec 14, 2015
- Last merge
- Apr 8, 2020
Early maintainer
Internal authors whose PRs they merged
@D-NiceFormer employee
- PRs merged
- 14
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Sep 4, 2017
- Last merge
- Aug 23, 2019
Internal authors whose PRs they merged
@Fi3Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Nov 22, 2017
- Last merge
- Jun 6, 2018
@marcogiglioFormer employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- May 16, 2016
- Last merge
- Feb 14, 2018
Early maintainer
Internal authors whose PRs they merged
@nya1Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 1, 2016
- Last merge
- May 29, 2017
Early maintainer
Open GitHub profile ↗Maintainer Movements (5)
@riccardopersiani moved lead merge authority to Sky.
Confirmed Feb 4, 2026 · Observed · Early maintainer
Last source merge Jun 30, 2020 · First destination merge Feb 4, 2026
@gitmp01 moved lead merge authority to pNetwork Association.
Confirmed Apr 3, 2024 · Observed · Early maintainer
Last source merge Nov 29, 2022 · First destination merge Apr 3, 2024
@gskapka moved lead merge authority to pNetwork Association.
Confirmed Nov 13, 2023 · Observed · Early maintainer
Last source merge Jun 15, 2023 · First destination merge Nov 13, 2023
@oliviera9 moved lead merge authority to pNetwork Association.
Confirmed Apr 13, 2023 · Observed · Early maintainer
Last source merge Dec 5, 2022 · First destination merge Apr 13, 2023
@allemanfredi moved lead merge authority to pNetwork Association.
Confirmed Mar 7, 2023 · Observed · Early maintainer
Last source merge Jun 25, 2021 · First destination merge Mar 7, 2023