Resource | Action | Why |
---|---|---|
nomadic-labs/sapling-verification!21 Split Tree module in the F* Spec FStar IMTs | Help add merge-team reviewers | onurb is a dispatcher |
nomadic-labs/sapling-verification!23 F* Sapling Spec: Write a detailed README IMTs | Help add merge-team reviewers | onurb is a dispatcher |
snomadic-labs/sapling-verification
Dispatchers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(copied from dispatchers)
Issue watchers: No one
(no one)
|