Skip to content

Commit 45daefb

Browse files
committed
Update author list from git
1 parent 33b318f commit 45daefb

File tree

11 files changed

+374
-99
lines changed

11 files changed

+374
-99
lines changed

atd.opam

Lines changed: 34 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -14,52 +14,77 @@ maintainer: [
1414
]
1515
authors: [
1616
"Martin Jambon <martin@mjambon.com>"
17-
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1817
"Martin Jambon <martin@r2c.dev>"
18+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1919
"Martin Jambon <github@mjambon.com>"
20-
"Ivan Jager <aij+git@mrph.org>"
20+
"Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com>"
2121
"oleksiy <oleksiy.golovko@ahrefs.com>"
22+
"Ivan Jager <aij+git@mrph.org>"
23+
"Martin Jambon <martin@semgrep.com>"
24+
"Gregoire Lionnet <gregoire.lionnet@ahrefs.com>"
25+
"Sebastien Mondet <sebastien.mondet@ahrefs.com>"
2226
"David Sheets <sheets@alum.mit.edu>"
2327
"Rudi Grinberg <me@rgrinberg.com>"
2428
"Martin Jambon <martin@esper.com>"
29+
"Rytis Jonynas <rytis.jonynas@ahrefs.com>"
2530
"Jeff Meister <nanaki@gmail.com>"
26-
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
31+
"Raman Varabets <roman.vorobets@gmail.com>"
2732
"Carmelo Piccione <carmelo.piccione@gmail.com>"
33+
"Louis <louis.roche@ahrefs.com>"
34+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
35+
"Marek Kubica <marek@tarides.com>"
2836
"Daniel Weil <danweil68@gmail.com>"
2937
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
3038
"Gabriel Scherer <gabriel.scherer@gmail.com>"
31-
"Raman Varabets <roman.vorobets@gmail.com>"
39+
"Javier Chavarri <javier.chavarri@gmail.com>"
40+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
41+
"Matthew McQuaid <matthew@returntocorp.com>"
42+
"Raman Varabets <raman+git@ahrefs.com>"
43+
"koonwen <koonwen@gmail.com>"
3244
"tzm <frank@boldsolutions.de>"
3345
"Mathieu Baudet <mathieubaudet@fb.com>"
3446
"Oleksiy Golovko <alexei.golovko@gmail.com>"
3547
"Rauan Mayemir <rauan@mayemir.io>"
48+
"Seb Mondet <seb@mondet.org>"
49+
"Alexandre Bourquelot <alexandre.bourquelot@gmail.com>"
3650
"Carmelo Piccione <cep1@solvuu.com>"
51+
"Hyeseong Kim <hey@hyeseong.kim>"
3752
"John Billings <john@monkeynut.org>"
3853
"Louis Roché <louis@louisroche.net>"
54+
"Mathieu Barbin <mathieu.barbin@gmail.com>"
55+
"Zach Yannes <zach@returntocorp.com>"
56+
"Antonin Décimo <antonin@tarides.com>"
3957
"Brendan Long <self@brendanlong.com>"
4058
"Chris Yocum <cyocum@gmail.com>"
41-
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
59+
"Kate <kit.ty.kate@disroot.org>"
4260
"Louis Roché <louis.roche@ahrefs.com>"
4361
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
4462
"Pierre Boutillier <pierre.boutillier@laposte.net>"
4563
"Shon Feder <shon.feder@key.me>"
64+
"metanivek <metanivek@gmail.com>"
65+
"sebastiantoh <sebas.tsj.98@gmail.com>"
4666
"Anurag Soni <anuragsoni.13@gmail.com>"
4767
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
4868
"Asya-kawai <kawai-toshiki@aintek.xyz>"
4969
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
70+
"Corentin Leruth <corentin.leruth@gmail.com>"
5071
"Damien Doligez <ddoligez@janestreet.com>"
5172
"Daniel M <dan.mntg@gmail.com>"
5273
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
74+
"Enrico Tassi <Enrico.Tassi@Inria.fr>"
5375
"François Pottier <francois.pottier@inria.fr>"
54-
"Javier Chavarri <javier.chavarri@gmail.com>"
55-
"Kate <kit.ty.kate@disroot.org>"
56-
"Louis <louis.roche@ahrefs.com>"
76+
"Javier Chávarri <javier.chavarri@gmail.com>"
77+
"Jonas Bergler <jonas@bergler.name>"
78+
"Kate <kit-ty-kate@exn.st>"
79+
"Koon Wen Lee <koonwen@gmail.com>"
80+
"Louis <mail+github@louisroche.net>"
5781
"Louis Roché <louis@cryptosense.com>"
58-
"Raman Varabets <raman+git@ahrefs.com>"
5982
"Stephane Legrand <slegrand45@gmail.com>"
6083
"Vincent Bernardoff <vb@luminar.eu.org>"
84+
"Zach <zachyannes@gmail.com>"
6185
"haoyang <haoyang@esper.co>"
6286
"pmundkur <prashanth.mundkur@gmail.com>"
87+
"rr0gi <igor@ahrefs.com>"
6388
"ygrek <ygrek@autistici.org>"
6489
]
6590
license: "MIT"

atdcpp.opam

Lines changed: 34 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -9,52 +9,77 @@ maintainer: [
99
]
1010
authors: [
1111
"Martin Jambon <martin@mjambon.com>"
12-
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1312
"Martin Jambon <martin@r2c.dev>"
13+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1414
"Martin Jambon <github@mjambon.com>"
15-
"Ivan Jager <aij+git@mrph.org>"
15+
"Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com>"
1616
"oleksiy <oleksiy.golovko@ahrefs.com>"
17+
"Ivan Jager <aij+git@mrph.org>"
18+
"Martin Jambon <martin@semgrep.com>"
19+
"Gregoire Lionnet <gregoire.lionnet@ahrefs.com>"
20+
"Sebastien Mondet <sebastien.mondet@ahrefs.com>"
1721
"David Sheets <sheets@alum.mit.edu>"
1822
"Rudi Grinberg <me@rgrinberg.com>"
1923
"Martin Jambon <martin@esper.com>"
24+
"Rytis Jonynas <rytis.jonynas@ahrefs.com>"
2025
"Jeff Meister <nanaki@gmail.com>"
21-
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
26+
"Raman Varabets <roman.vorobets@gmail.com>"
2227
"Carmelo Piccione <carmelo.piccione@gmail.com>"
28+
"Louis <louis.roche@ahrefs.com>"
29+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
30+
"Marek Kubica <marek@tarides.com>"
2331
"Daniel Weil <danweil68@gmail.com>"
2432
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
2533
"Gabriel Scherer <gabriel.scherer@gmail.com>"
26-
"Raman Varabets <roman.vorobets@gmail.com>"
34+
"Javier Chavarri <javier.chavarri@gmail.com>"
35+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
36+
"Matthew McQuaid <matthew@returntocorp.com>"
37+
"Raman Varabets <raman+git@ahrefs.com>"
38+
"koonwen <koonwen@gmail.com>"
2739
"tzm <frank@boldsolutions.de>"
2840
"Mathieu Baudet <mathieubaudet@fb.com>"
2941
"Oleksiy Golovko <alexei.golovko@gmail.com>"
3042
"Rauan Mayemir <rauan@mayemir.io>"
43+
"Seb Mondet <seb@mondet.org>"
44+
"Alexandre Bourquelot <alexandre.bourquelot@gmail.com>"
3145
"Carmelo Piccione <cep1@solvuu.com>"
46+
"Hyeseong Kim <hey@hyeseong.kim>"
3247
"John Billings <john@monkeynut.org>"
3348
"Louis Roché <louis@louisroche.net>"
49+
"Mathieu Barbin <mathieu.barbin@gmail.com>"
50+
"Zach Yannes <zach@returntocorp.com>"
51+
"Antonin Décimo <antonin@tarides.com>"
3452
"Brendan Long <self@brendanlong.com>"
3553
"Chris Yocum <cyocum@gmail.com>"
36-
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
54+
"Kate <kit.ty.kate@disroot.org>"
3755
"Louis Roché <louis.roche@ahrefs.com>"
3856
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
3957
"Pierre Boutillier <pierre.boutillier@laposte.net>"
4058
"Shon Feder <shon.feder@key.me>"
59+
"metanivek <metanivek@gmail.com>"
60+
"sebastiantoh <sebas.tsj.98@gmail.com>"
4161
"Anurag Soni <anuragsoni.13@gmail.com>"
4262
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
4363
"Asya-kawai <kawai-toshiki@aintek.xyz>"
4464
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
65+
"Corentin Leruth <corentin.leruth@gmail.com>"
4566
"Damien Doligez <ddoligez@janestreet.com>"
4667
"Daniel M <dan.mntg@gmail.com>"
4768
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
69+
"Enrico Tassi <Enrico.Tassi@Inria.fr>"
4870
"François Pottier <francois.pottier@inria.fr>"
49-
"Javier Chavarri <javier.chavarri@gmail.com>"
50-
"Kate <kit.ty.kate@disroot.org>"
51-
"Louis <louis.roche@ahrefs.com>"
71+
"Javier Chávarri <javier.chavarri@gmail.com>"
72+
"Jonas Bergler <jonas@bergler.name>"
73+
"Kate <kit-ty-kate@exn.st>"
74+
"Koon Wen Lee <koonwen@gmail.com>"
75+
"Louis <mail+github@louisroche.net>"
5276
"Louis Roché <louis@cryptosense.com>"
53-
"Raman Varabets <raman+git@ahrefs.com>"
5477
"Stephane Legrand <slegrand45@gmail.com>"
5578
"Vincent Bernardoff <vb@luminar.eu.org>"
79+
"Zach <zachyannes@gmail.com>"
5680
"haoyang <haoyang@esper.co>"
5781
"pmundkur <prashanth.mundkur@gmail.com>"
82+
"rr0gi <igor@ahrefs.com>"
5883
"ygrek <ygrek@autistici.org>"
5984
]
6085
license: "MIT"

atdd.opam

Lines changed: 34 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -9,52 +9,77 @@ maintainer: [
99
]
1010
authors: [
1111
"Martin Jambon <martin@mjambon.com>"
12-
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1312
"Martin Jambon <martin@r2c.dev>"
13+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1414
"Martin Jambon <github@mjambon.com>"
15-
"Ivan Jager <aij+git@mrph.org>"
15+
"Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com>"
1616
"oleksiy <oleksiy.golovko@ahrefs.com>"
17+
"Ivan Jager <aij+git@mrph.org>"
18+
"Martin Jambon <martin@semgrep.com>"
19+
"Gregoire Lionnet <gregoire.lionnet@ahrefs.com>"
20+
"Sebastien Mondet <sebastien.mondet@ahrefs.com>"
1721
"David Sheets <sheets@alum.mit.edu>"
1822
"Rudi Grinberg <me@rgrinberg.com>"
1923
"Martin Jambon <martin@esper.com>"
24+
"Rytis Jonynas <rytis.jonynas@ahrefs.com>"
2025
"Jeff Meister <nanaki@gmail.com>"
21-
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
26+
"Raman Varabets <roman.vorobets@gmail.com>"
2227
"Carmelo Piccione <carmelo.piccione@gmail.com>"
28+
"Louis <louis.roche@ahrefs.com>"
29+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
30+
"Marek Kubica <marek@tarides.com>"
2331
"Daniel Weil <danweil68@gmail.com>"
2432
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
2533
"Gabriel Scherer <gabriel.scherer@gmail.com>"
26-
"Raman Varabets <roman.vorobets@gmail.com>"
34+
"Javier Chavarri <javier.chavarri@gmail.com>"
35+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
36+
"Matthew McQuaid <matthew@returntocorp.com>"
37+
"Raman Varabets <raman+git@ahrefs.com>"
38+
"koonwen <koonwen@gmail.com>"
2739
"tzm <frank@boldsolutions.de>"
2840
"Mathieu Baudet <mathieubaudet@fb.com>"
2941
"Oleksiy Golovko <alexei.golovko@gmail.com>"
3042
"Rauan Mayemir <rauan@mayemir.io>"
43+
"Seb Mondet <seb@mondet.org>"
44+
"Alexandre Bourquelot <alexandre.bourquelot@gmail.com>"
3145
"Carmelo Piccione <cep1@solvuu.com>"
46+
"Hyeseong Kim <hey@hyeseong.kim>"
3247
"John Billings <john@monkeynut.org>"
3348
"Louis Roché <louis@louisroche.net>"
49+
"Mathieu Barbin <mathieu.barbin@gmail.com>"
50+
"Zach Yannes <zach@returntocorp.com>"
51+
"Antonin Décimo <antonin@tarides.com>"
3452
"Brendan Long <self@brendanlong.com>"
3553
"Chris Yocum <cyocum@gmail.com>"
36-
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
54+
"Kate <kit.ty.kate@disroot.org>"
3755
"Louis Roché <louis.roche@ahrefs.com>"
3856
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
3957
"Pierre Boutillier <pierre.boutillier@laposte.net>"
4058
"Shon Feder <shon.feder@key.me>"
59+
"metanivek <metanivek@gmail.com>"
60+
"sebastiantoh <sebas.tsj.98@gmail.com>"
4161
"Anurag Soni <anuragsoni.13@gmail.com>"
4262
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
4363
"Asya-kawai <kawai-toshiki@aintek.xyz>"
4464
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
65+
"Corentin Leruth <corentin.leruth@gmail.com>"
4566
"Damien Doligez <ddoligez@janestreet.com>"
4667
"Daniel M <dan.mntg@gmail.com>"
4768
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
69+
"Enrico Tassi <Enrico.Tassi@Inria.fr>"
4870
"François Pottier <francois.pottier@inria.fr>"
49-
"Javier Chavarri <javier.chavarri@gmail.com>"
50-
"Kate <kit.ty.kate@disroot.org>"
51-
"Louis <louis.roche@ahrefs.com>"
71+
"Javier Chávarri <javier.chavarri@gmail.com>"
72+
"Jonas Bergler <jonas@bergler.name>"
73+
"Kate <kit-ty-kate@exn.st>"
74+
"Koon Wen Lee <koonwen@gmail.com>"
75+
"Louis <mail+github@louisroche.net>"
5276
"Louis Roché <louis@cryptosense.com>"
53-
"Raman Varabets <raman+git@ahrefs.com>"
5477
"Stephane Legrand <slegrand45@gmail.com>"
5578
"Vincent Bernardoff <vb@luminar.eu.org>"
79+
"Zach <zachyannes@gmail.com>"
5680
"haoyang <haoyang@esper.co>"
5781
"pmundkur <prashanth.mundkur@gmail.com>"
82+
"rr0gi <igor@ahrefs.com>"
5883
"ygrek <ygrek@autistici.org>"
5984
]
6085
license: "MIT"

atdgen-codec-runtime.opam

Lines changed: 34 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -11,52 +11,77 @@ maintainer: [
1111
]
1212
authors: [
1313
"Martin Jambon <martin@mjambon.com>"
14-
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1514
"Martin Jambon <martin@r2c.dev>"
15+
"Rudi Grinberg <rudi.grinberg@gmail.com>"
1616
"Martin Jambon <github@mjambon.com>"
17-
"Ivan Jager <aij+git@mrph.org>"
17+
"Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com>"
1818
"oleksiy <oleksiy.golovko@ahrefs.com>"
19+
"Ivan Jager <aij+git@mrph.org>"
20+
"Martin Jambon <martin@semgrep.com>"
21+
"Gregoire Lionnet <gregoire.lionnet@ahrefs.com>"
22+
"Sebastien Mondet <sebastien.mondet@ahrefs.com>"
1923
"David Sheets <sheets@alum.mit.edu>"
2024
"Rudi Grinberg <me@rgrinberg.com>"
2125
"Martin Jambon <martin@esper.com>"
26+
"Rytis Jonynas <rytis.jonynas@ahrefs.com>"
2227
"Jeff Meister <nanaki@gmail.com>"
23-
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
28+
"Raman Varabets <roman.vorobets@gmail.com>"
2429
"Carmelo Piccione <carmelo.piccione@gmail.com>"
30+
"Louis <louis.roche@ahrefs.com>"
31+
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
32+
"Marek Kubica <marek@tarides.com>"
2533
"Daniel Weil <danweil68@gmail.com>"
2634
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
2735
"Gabriel Scherer <gabriel.scherer@gmail.com>"
28-
"Raman Varabets <roman.vorobets@gmail.com>"
36+
"Javier Chavarri <javier.chavarri@gmail.com>"
37+
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
38+
"Matthew McQuaid <matthew@returntocorp.com>"
39+
"Raman Varabets <raman+git@ahrefs.com>"
40+
"koonwen <koonwen@gmail.com>"
2941
"tzm <frank@boldsolutions.de>"
3042
"Mathieu Baudet <mathieubaudet@fb.com>"
3143
"Oleksiy Golovko <alexei.golovko@gmail.com>"
3244
"Rauan Mayemir <rauan@mayemir.io>"
45+
"Seb Mondet <seb@mondet.org>"
46+
"Alexandre Bourquelot <alexandre.bourquelot@gmail.com>"
3347
"Carmelo Piccione <cep1@solvuu.com>"
48+
"Hyeseong Kim <hey@hyeseong.kim>"
3449
"John Billings <john@monkeynut.org>"
3550
"Louis Roché <louis@louisroche.net>"
51+
"Mathieu Barbin <mathieu.barbin@gmail.com>"
52+
"Zach Yannes <zach@returntocorp.com>"
53+
"Antonin Décimo <antonin@tarides.com>"
3654
"Brendan Long <self@brendanlong.com>"
3755
"Chris Yocum <cyocum@gmail.com>"
38-
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
56+
"Kate <kit.ty.kate@disroot.org>"
3957
"Louis Roché <louis.roche@ahrefs.com>"
4058
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
4159
"Pierre Boutillier <pierre.boutillier@laposte.net>"
4260
"Shon Feder <shon.feder@key.me>"
61+
"metanivek <metanivek@gmail.com>"
62+
"sebastiantoh <sebas.tsj.98@gmail.com>"
4363
"Anurag Soni <anuragsoni.13@gmail.com>"
4464
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
4565
"Asya-kawai <kawai-toshiki@aintek.xyz>"
4666
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
67+
"Corentin Leruth <corentin.leruth@gmail.com>"
4768
"Damien Doligez <ddoligez@janestreet.com>"
4869
"Daniel M <dan.mntg@gmail.com>"
4970
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
71+
"Enrico Tassi <Enrico.Tassi@Inria.fr>"
5072
"François Pottier <francois.pottier@inria.fr>"
51-
"Javier Chavarri <javier.chavarri@gmail.com>"
52-
"Kate <kit.ty.kate@disroot.org>"
53-
"Louis <louis.roche@ahrefs.com>"
73+
"Javier Chávarri <javier.chavarri@gmail.com>"
74+
"Jonas Bergler <jonas@bergler.name>"
75+
"Kate <kit-ty-kate@exn.st>"
76+
"Koon Wen Lee <koonwen@gmail.com>"
77+
"Louis <mail+github@louisroche.net>"
5478
"Louis Roché <louis@cryptosense.com>"
55-
"Raman Varabets <raman+git@ahrefs.com>"
5679
"Stephane Legrand <slegrand45@gmail.com>"
5780
"Vincent Bernardoff <vb@luminar.eu.org>"
81+
"Zach <zachyannes@gmail.com>"
5882
"haoyang <haoyang@esper.co>"
5983
"pmundkur <prashanth.mundkur@gmail.com>"
84+
"rr0gi <igor@ahrefs.com>"
6085
"ygrek <ygrek@autistici.org>"
6186
]
6287
license: "MIT"

0 commit comments

Comments
 (0)