Select Git revision
Search by author
- Any Author
- authors
-
Andres Löh kosmikus
-
Avi Press avi
-
Bodigrim
Bodigrim
-
Emily Pillmore
emilypi
-
Graham Hutton Graham_Hutton
-
Hazel Weakly hazelweakly
-
Jasper Van der Jeugt jaspervdj
-
Jose Manuel Calderon Trilla
jmct
-
Josh Meredith JoshMeredith
-
Michael Peyton Jones
michaelpj
-
Mike Pilgrem mpilgrem
-
Richard Eisenberg rae
-
ryantrinkle ryantrinkle
-
Simon Peyton Jones simonpj
-
Tom Ellis tomjaguarpaw1
- May 03, 2022
-
-
Richard Eisenberg authored
-
- Mar 11, 2022
-
-
Richard Eisenberg authored
-
- Mar 10, 2022
-
-
Richard Eisenberg authored
-
- Feb 22, 2022
-
-
Richard Eisenberg authored
-
Richard Eisenberg authored
Add cloture rule See merge request !34
-
- Feb 07, 2022
-
-
Richard Eisenberg authored
Nominations list See merge request !35
-
Richard Eisenberg authored
-
- Feb 03, 2022
-
-
Richard Eisenberg authored
-
Richard Eisenberg authored
Add notes about technical credentials See merge request !31
-
- Jan 25, 2022
-
-
Richard Eisenberg authored
-
- Jan 21, 2022
-
-
Richard Eisenberg authored
Remove Wendy from Budget Committee See merge request !32
-
ryantrinkle authored
-
- Jan 15, 2022
-
-
dreixel authored
-
- Jan 06, 2022
-
-
Richard Eisenberg authored
-
- Jan 05, 2022
-
-
Richard Eisenberg authored
-
- Dec 10, 2021
-
-
Richard Eisenberg authored
Note to update calendar items on Board changes See merge request !30
-
Richard Eisenberg authored
-
- Dec 06, 2021
-
-
Richard Eisenberg authored
Add meeting attendance policy See merge request !29
-
- Nov 22, 2021
-
-
Richard Eisenberg authored
Automatic absentions on MRs See merge request !28
-
- Nov 16, 2021
-
-
Richard Eisenberg authored
-
Richard Eisenberg authored
Transparency See merge request !27
-
Richard Eisenberg authored
It doesn't yet exist.
-
- Oct 20, 2021
-
-
Richard Eisenberg authored
-
Richard Eisenberg authored
-
- Oct 19, 2021
-
-
Richard Eisenberg authored
-
- Oct 18, 2021
-
-
Richard Eisenberg authored
Draft working conventions See merge request !24
-
Richard Eisenberg authored
Clarify how "vice" positions may overlap. See merge request !26
-
- Oct 11, 2021
-
-
Richard Eisenberg authored
-
Richard Eisenberg authored
Mention private mailing list See merge request !22
-
- Oct 07, 2021
-
-
Richard Eisenberg authored
-
-
- Oct 06, 2021
-
-
Richard Eisenberg authored
-
-
Richard Eisenberg authored
-
- Sep 30, 2021
-
-
Richard Eisenberg authored
-
- Sep 24, 2021
-
-
Richard Eisenberg authored
My editor made a bunch of whitespace trims in this commit, but the only textual change is about the vice positions.
-
Richard Eisenberg authored
-
- Sep 23, 2021
-
-
Richard Eisenberg authored
-
- Sep 15, 2021
-
-
Richard Eisenberg authored
-
- Sep 01, 2021
-
-
Richard Eisenberg authored
Capturing our communication guidelines See merge request !23
-
