GitHub webhook has been successfully configured by Zimmi48.
GitHub webhook has been successfully configured by Zimmi48.
Obviously, we shouldn't have all GitHub events result in a new Zulip message, so I've selected a bunch of things that will mostly be non-redundant with GitHub notifications, like wiki edits, team membership changes, repository creation and, specifically at the level of the Coq repository, branch and tag creation and deletion.
Zimmi48:
ppedrot pushed 7 commits to branch master. Commits by herbelin (6) and ppedrot (1).
ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).
Zimmi48 pushed 3 commits to branch master. Commits by mpu (2) and Zimmi48 (1).
Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and llelf (1).
rafoo:
pi8027 pushed 2 commits to branch master. Commits by JasonGross (1) and pi8027 (1).
cpitclaudel pushed 4 commits to branch master. Commits by mpu (3) and cpitclaudel (1).
maximedenes pushed 2 commits to branch master. Commits by fajb (1) and maximedenes (1).
maximedenes pushed 3 commits to branch master. Commits by proux01 (2) and maximedenes (1).
maximedenes pushed 2 commits to branch master. Commits by maximedenes (1) and ppedrot (1).
herbelin pushed 3 commits to branch master. Commits by proux01 (2) and herbelin (1).
herbelin pushed 4 commits to branch master. Commits by olaure01 (3) and herbelin (1).
herbelin pushed 3 commits to branch master. Commits by ppedrot (2) and herbelin (1).
SkySkimmer pushed 3 commits to branch master. Commits by ejgallego (2) and SkySkimmer (1).
Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).
Could the commit notifications go to their own topic (separate from other github notifications), so I can mute them without muting the other notifications? They seem quite noisy.
MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and VincentSe (1).
kyoDralliam pushed 2 commits to branch master. Commits by Blaisorblade (1) and kyoDralliam (1).
Could the commit notifications go to their own topic (separate from other github notifications), so I can mute them without muting the other notifications? They seem quite noisy.
Sure! That's doable!
EDIT: Done.
ppedrot deleted branch macos-binary-8.11.1.
ejgallego:
ejgallego:
Can we have PR open/close events too?
Sure!
Actually, there's no way to filter only for open/close events of PRs. If we add the "pull request" events, we also get all the "edited", "synchronized", "labeled", etc. events, so that would be a bit much.
Actually, now that I think about it, coqbot could take care of forwarding the open/close events only to Zulip.
Could you open an issue about this on the bot's repository? I won't address it this week with the upcoming freeze.
gares:
ejgallego:
ejgallego:
SkySkimmer:
ejgallego:
Janno:
Zimmi48:
ejgallego:
ejgallego:
Zimmi48:
mattam82:
mattam82:
ejgallego added ejgallego to the test-suite-maintainers team.
Zimmi48:
Zimmi48:
ejgallego:
ejgallego:
mattam82:
This topic was moved here from #Coq devs & plugin devs > Github Notifications by Théo Zimmermann
Zimmi48 added jtcoolen to bot.
ejgallego:
Zimmi48:
Zimmi48:
Zimmi48:
JasonGross:
beta-ziliani:
mattam82:
mattam82:
mattam82:
Zimmi48:
jfehrle:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
aa755:
palmskog:
SkySkimmer:
Zimmi48:
jfehrle:
Janno:
Zimmi48:
ppedrot:
ppedrot:
SkySkimmer:
ppedrot:
mattam82:
maximedenes:
mattam82:
Zimmi48:
Zimmi48:
ejgallego:
palmskog:
JasonGross:
JasonGross:
JasonGross:
Zimmi48:
ejgallego:
JasonGross:
ejgallego added JasonGross to coq-bench.
mattam82:
mattam82:
mattam82:
mattam82:
Zimmi48:
jfehrle:
jfehrle:
JasonGross:
ejgallego:
mattam82:
mattam82:
jfehrle:
k4rtik:
mattam82:
mattam82:
mattam82:
maximedenes:
maximedenes:
mattam82:
maximedenes:
maximedenes:
mattam82:
Zimmi48:
spitters:
maximedenes:
spitters:
Zimmi48 added Zimmi48 to the coqbot maintainers team.
Zimmi48 added jtcoolen to the coqbot maintainers team.
ejgallego:
ejgallego:
ejgallego:
Zimmi48:
ejgallego:
ejgallego:
ejgallego:
jfehrle:
Zimmi48:
Zimmi48:
ejgallego:
Zimmi48:
ejgallego:
JasonGross:
JasonGross:
ejgallego:
SkySkimmer:
mattam82:
mattam82:
palmskog:
jfehrle:
Zimmi48:
Zimmi48:
jfehrle:
jtcoolen:
Zimmi48:
Zimmi48 edited the repository coq/bot.
jonleivent:
herbelin:
SkySkimmer added SkySkimmer to the bench-maintainers team.
ppedrot added ppedrot to the bench-maintainers team.
herbelin:
herbelin:
herbelin:
herbelin:
palmskog:
Zimmi48 added olaure01 to the stdlib-maintainers team.
mattam82:
mattam82:
mattam82:
herbelin:
herbelin:
herbelin:
herbelin:
herbelin:
herbelin:
herbelin:
gares:
gares:
charguer:
charguer:
herbelin:
mattam82:
awalterschulze:
awalterschulze:
awalterschulze:
awalterschulze:
awalterschulze:
awalterschulze:
awalterschulze:
Zimmi48:
Zimmi48:
ejgallego:
herbelin:
mattam82:
mattam82:
Zimmi48:
Zimmi48:
clarus:
coq added MSoegtropIMC to coq-platform.
MSoegtropIMC transferred the repository coq/coq-platform.
Zimmi48 renamed the repository coq/platform.
Zimmi48 edited MSoegtropIMC to platform.
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
mattam82:
mattam82:
mattam82:
awalterschulze:
awalterschulze:
awalterschulze:
awalterschulze:
awalterschulze:
maximedenes:
maximedenes:
maximedenes:
Zimmi48:
herbelin:
herbelin:
mattam82:
mattam82:
mattam82:
mattam82:
ppedrot:
CohenCyril:
ppedrot:
Zimmi48:
ppedrot:
amahboubi:
kyoDralliam:
gares:
ejgallego:
ejgallego:
herbelin:
anton-trunov:
maximedenes:
erikmd:
erikmd:
palmskog:
awalterschulze:
mattam82:
LasseBlaauwbroek:
proux01:
JasonGross:
pierrevial:
silene:
ybertot:
ejgallego:
ejgallego:
awalterschulze:
awalterschulze:
samuelgruetter:
SkySkimmer:
clayrat:
Zimmi48:
ppedrot:
zoep:
gares:
gares:
pochinha:
herbelin:
herbelin:
SkySkimmer:
mattam82:
maximedenes:
Zimmi48:
ppedrot:
mattam82:
mattam82:
ejgallego added vbgl to bignums.
erikmd:
erikmd:
Zimmi48 removed jtcoolen from the coqbot maintainers team.
Zimmi48 removed jtcoolen to bot.
gares:
erikmd:
erikmd:
herbelin:
herbelin:
herbelin:
herbelin:
mattam82:
mattam82:
mattam82:
mkerjean:
silene:
silene:
herbelin:
Zimmi48:
Zimmi48:
herbelin:
herbelin:
mattam82:
MSoegtropIMC:
herbelin:
cpitclaudel:
gares:
gares:
Zimmi48:
Zimmi48:
Zimmi48:
Zimmi48:
Zimmi48:
Zimmi48:
mattam82:
jfehrle:
pPomCo:
Zimmi48:
affeldt-aist:
Zimmi48:
Zimmi48:
Zimmi48:
erikmd:
CohenCyril:
Blaisorblade:
ppedrot:
palmskog:
palmskog:
mattam82:
ana-borges:
ana-borges:
LasseBlaauwbroek:
Zimmi48:
ejgallego:
ejgallego:
ppedrot:
ejgallego:
arthuraa:
ana-borges:
MSoegtropIMC:
charguer:
ppedrot:
ana-borges:
ejgallego:
ybertot:
LasseBlaauwbroek:
gares:
mrhaandi:
Zimmi48 added fakusb to the Contributors team.
gares:
tabareau:
ybertot:
kyoDralliam:
ana-borges:
mattam82:
mattam82:
mattam82:
jakobbotsch:
yforster:
fakusb:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
palmskog:
ybertot:
mattam82:
fakusb:
palmskog:
cpitclaudel:
ana-borges:
cpitclaudel:
ybertot:
erikmd:
erikmd:
ana-borges:
MSoegtropIMC edited the repository coq/platform.
palmskog:
gares:
gares:
gares:
gares:
Zimmi48:
gares:
Zimmi48:
Zimmi48:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
gares:
gares:
Zimmi48:
gares:
Zimmi48:
Zimmi48:
erikmd:
erikmd:
erikmd:
herbelin:
erikmd:
erikmd:
erikmd:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
gares:
gares:
gares:
gares:
gares:
gares:
Zimmi48:
gares:
mattam82:
mattam82:
gares:
gares:
gares:
gares:
gares:
gares:
gares:
gares:
Zimmi48:
herbelin:
gares added MSoegtropIMC to the OPAM maintainer team.
gares removed matejkosik from the OPAM maintainer team.
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
SkySkimmer:
gares:
Zimmi48:
gares:
gares:
gares:
mattam82:
SkySkimmer:
mattam82:
mattam82:
SkySkimmer:
SkySkimmer:
ejgallego:
ejgallego:
ejgallego:
gares:
gares:
gares:
gares:
Zimmi48:
Zimmi48:
MSoegtropIMC:
MSoegtropIMC edited the repository coq/platform.
MSoegtropIMC edited the repository coq/platform.
ejgallego:
ejgallego:
ejgallego:
ejgallego:
Zimmi48:
Zimmi48:
Zimmi48:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
SkySkimmer:
ejgallego:
mattam82:
mattam82:
SkySkimmer:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
mattam82:
mattam82:
mattam82:
mattam82:
gares:
ejgallego:
JasonGross:
JasonGross:
JasonGross:
silene:
JasonGross:
gares:
silene:
mattam82:
silene:
erikmd:
ppedrot:
ppedrot:
herbelin:
herbelin:
herbelin:
Zimmi48:
herbelin:
ejgallego added hendriktews to the Contributors team.
Zimmi48:
Zimmi48:
jashug:
xavierleroy:
xavierleroy:
liyishuai:
MSoegtropIMC:
mattam82:
mattam82:
xavierleroy:
xavierleroy:
mattam82:
mattam82:
xavierleroy:
fredericloulergue:
Matafou:
Matafou:
tlringer:
tlringer:
tlringer:
tlringer:
tlringer:
tlringer:
jkbsc:
SkySkimmer:
Kiarahmani:
mikeshulman:
bcpierce00:
bcpierce00:
tlringer:
felix91gr:
mattam82:
jgrosso:
tbrk:
jgrosso:
tbrk:
tbrk:
dwRchyngqxs:
dwRchyngqxs:
herbelin:
herbelin:
bcpierce00:
bcpierce00:
bcpierce00:
bcpierce00:
bcpierce00:
bcpierce00:
scuellar:
alcides:
tbrk:
herbelin:
herbelin:
herbelin:
alcides:
herbelin:
herbelin:
tlringer:
slyubomirsky:
slyubomirsky:
herbelin:
herbelin:
clarus:
yoogx:
yoogx:
liyishuai:
drdreyer:
drdreyer:
gallais:
gallais:
gallais:
kevinsullivan:
monnier:
kevinsullivan:
psteckler:
psteckler:
jashug:
jashug:
pvomelveny:
anton-trunov:
PeterSewell:
PeterSewell:
yforster:
charguer:
TheoWinterhalter:
charguer:
charguer:
tbrk:
ptorrx:
wilstef:
wilstef:
wilstef:
wilstef:
Zimmi48:
Zimmi48:
yforster:
YaZko:
YaZko:
elfprince13:
arthuraa:
Zimmi48:
slasser:
mattam82:
tabareau:
mattam82:
mattam82:
mattam82:
mattam82:
ejgallego:
tadeuszlitak:
ejgallego:
ppedrot:
tadeuszlitak:
tadeuszlitak:
pellissier:
tadeuszlitak:
tadeuszlitak:
afelty:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
rnollet:
rnollet:
cpitclaudel:
cpitclaudel:
felix91gr:
rnollet:
ppedrot:
tbrk:
lamarqua:
tbrk:
tbrk:
gallais:
afelty:
ejgallego:
ejgallego:
ejgallego:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
jgrosso:
jgrosso:
jgrosso:
Casteran:
ybertot:
ybertot:
gares:
gares:
gares:
gares:
Zimmi48:
arthuraa:
arthuraa:
arthuraa:
whonore:
bee-san:
waldyrious:
waldyrious:
webdevdunce:
webdevdunce:
konfou:
webdevdunce:
crdrost:
gasche:
konfou:
fdelorme:
fdelorme:
fdelorme:
andrevidela:
matej-kosik:
tbrk:
tbrk:
slindley:
philipjf:
JeremyRubin:
Himada4:
gallais:
rebane2001:
fifofefe:
fsmith1024:
jkbsc:
psteckler:
psteckler:
psteckler:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
ma82:
tadeuszlitak:
SkySkimmer:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
richardm-stripe:
Lysxia:
pfeodrippe:
jgrosso:
jgrosso:
cpitclaudel:
cpitclaudel:
rnrand:
rnrand:
psteckler:
psteckler:
gambogi:
tbrk:
tbrk:
tbrk:
tbrk:
tbrk:
barry-jay-personal:
tadeuszlitak:
tbrk:
tadeuszlitak:
tadeuszlitak:
tbrk:
tbrk:
tbrk:
cesar-avalos3:
co-dan:
lifthrasiir:
k32:
ainar-g:
Maximilianos:
koraa:
koraa:
ainar-g:
koraa:
andreasabel:
andreasabel:
andreasabel:
tbrk:
esope:
herbelin:
kappelmann:
tbrk:
fblanqui:
smlckz:
co-dan:
co-dan:
Zimmi48:
Zimmi48:
rnagasam:
Zimmi48:
Zimmi48:
Tengas:
kgraaf:
Tengas:
tbrk:
nmvdw:
jonleivent:
UlrikBuchholtz:
gambogi:
gambogi:
TheoWinterhalter:
tlringer:
tlringer:
eluuk:
eluuk:
mattam82:
louisGarde:
konfou:
eluuk:
eluuk:
eluuk:
eluuk:
mattam82:
eluuk:
mattam82:
eluuk:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
cyrus-:
cyrus-:
cyrus-:
mmalter:
Tloru:
Tloru:
PeterSewell:
PeterSewell:
esope:
liyishuai:
liyishuai:
clarus:
TheoWinterhalter:
Zimmi48:
esope:
tadeuszlitak:
psteckler:
psteckler:
tadeuszlitak:
tadeuszlitak:
eluuk:
eluuk:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
tadeuszlitak:
thery:
TheoWinterhalter:
TheoWinterhalter:
ptorrx:
eluuk:
eluuk:
eluuk:
eluuk:
silene added thery to bignums.
rtfeldman:
alaingirault:
alaingirault:
djanin:
JasonGross:
JasonGross:
Zimmi48:
Zimmi48:
JasonGross:
ejgallego:
ainar-g:
TheoWinterhalter:
Zimmi48:
herbelin:
Zimmi48:
webdevdunce:
webdevdunce:
addap:
jfehrle:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
Zimmi48:
dmitry-borzov:
gadmm:
jfehrle:
jfehrle:
TheoWinterhalter:
harveywi:
mattam82:
mattam82:
SkySkimmer:
gadmm:
gadmm:
gadmm:
Zimmi48:
Zer0-One:
Zimmi48:
hubiec:
hubiec:
ejgallego:
endgame:
gares:
gares:
ejgallego:
ejgallego:
SkySkimmer:
TheoWinterhalter:
dmitry-borzov:
mrhaandi:
mrhaandi:
gares:
gares:
Blaisorblade:
Blaisorblade:
TheoWinterhalter:
mrhaandi:
mrhaandi:
JasonGross:
ejgallego:
jfehrle:
jfehrle:
mattam82:
mattam82:
mattam82:
mattam82:
thomasfsteeples:
TheoWinterhalter:
dmitry-borzov:
kyoDralliam:
SkySkimmer added JasonGross to the legacy-build-maintainers team.
TheoWinterhalter:
dmitry-borzov:
Zimmi48 added JasonGross to the coqbot maintainers team.
jfehrle:
herbelin:
Zimmi48:
SkySkimmer:
herbelin:
herbelin:
underscore-j:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
Zimmi48:
psteckler:
mattam82:
mattam82:
Zimmi48:
mattam82:
mattam82:
mattam82:
SkySkimmer added ana-borges to the Contributors team.
Zimmi48 added MSoegtropIMC to the stdlib-maintainers team.
Zimmi48:
mattam82:
monniaux:
charguer:
charguer:
charguer:
truecluster:
Zimmi48:
Zimmi48:
oplohmann:
oplohmann:
mattam82:
gemath:
Zimmi48:
mattam82:
Zimmi48:
Zimmi48:
aerialfiddle:
moninjf:
moninjf:
TheoWinterhalter:
TheoWinterhalter:
TheoWinterhalter:
yforster:
ejgallego:
mattam82:
mattam82:
ppedrot:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
mattam82:
herbelin:
Columbus240:
ejgallego:
Zimmi48 added JasonGross to the Core team.
ejgallego:
ejgallego:
moninjf:
moninjf:
moninjf:
moninjf:
Zimmi48:
herbelin:
herbelin:
Zimmi48:
herbelin:
herbelin:
Zimmi48 added CohenCyril to the nix-maintainers team.
roconnor:
Zimmi48 added Alizter to the Contributors team.
SkySkimmer:
SkySkimmer:
ejgallego:
ejgallego:
ejgallego:
mattam82:
Zimmi48:
Zimmi48:
Zimmi48:
Zimmi48:
SkySkimmer:
SkySkimmer:
Alizter:
herbelin:
jfehrle:
ejgallego:
ejgallego:
ejgallego:
mattam82:
ejgallego:
mattam82:
herbelin:
Alizter:
Zimmi48:
Zimmi48:
Zimmi48 added Alizter to the ci-maintainers team.
Zimmi48 added Alizter to the coqide-maintainers team.
Zimmi48 added Alizter to the vernac-maintainers team.
Zimmi48 added Alizter to the build-maintainers team.
Zimmi48 added Alizter to the test-suite-maintainers team.
Zimmi48 added Alizter to the dev-tools-maintainers team.
tomjridge:
TheoWinterhalter:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
ppedrot:
ejgallego:
Alizter:
mattam82:
mattam82:
Zimmi48:
Zimmi48 added Zimmi48 to the number-maintainers team.
Zimmi48 added proux01 to the number-maintainers team.
Zimmi48 removed Zimmi48 from the number-maintainers team.
Zimmi48 added Alizter to the number-maintainers team.
Zimmi48 added JasonGross to the number-maintainers team.
ppedrot:
ppedrot:
ppedrot:
ejgallego:
ejgallego:
Zimmi48 added proux01 to the vm-native-maintainers team.
Zimmi48 added proux01 to the extensible-syntax-maintainers team.
Zimmi48:
jfehrle:
jfehrle:
Zimmi48:
Zimmi48:
herbelin:
herbelin:
herbelin:
olegrezi:
olegrezi:
mattam82:
mattam82:
ejgallego:
ejgallego:
ejgallego:
mattam82:
proux01:
proux01:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
Zimmi48:
ejgallego:
ejgallego:
Mbodin:
mattam82:
mattam82:
mattam82:
mattam82:
SkySkimmer:
mattam82:
mattam82:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ak-2485:
ak-2485:
ak-2485:
ak-2485:
Mbodin:
Mbodin:
silene:
Zimmi48 created the repository coq/prerequisites.
Zimmi48 added MSoegtropIMC to prerequisites.
Zimmi48:
ejgallego:
ejgallego:
ejgallego:
alaingirault:
Mbodin:
NoLongerBreathedIn:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
Zimmi48 added Alizter to the Website maintainers team.
ejgallego:
Alizter:
Alizter:
Alizter:
Zimmi48:
Alizter:
mattam82:
SkySkimmer:
SkySkimmer:
SkySkimmer:
mattam82:
herbelin:
mattam82:
Alizter:
Alizter:
ejgallego:
ejgallego:
Zimmi48 added TheoWinterhalter to the Contributors team.
NoLongerBreathedIn:
Zimmi48:
Zimmi48:
jfehrle:
jfehrle:
jfehrle:
SkySkimmer:
jfehrle:
Alizter:
Alizter:
Alizter:
SkySkimmer:
mattam82:
mattam82:
SkySkimmer:
SkySkimmer:
SkySkimmer:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
kirniko:
Zimmi48:
kirniko:
Zimmi48:
Alizter:
Alizter:
Alizter:
Zimmi48:
Alizter:
Alizter:
Alizter:
mattam82:
mattam82:
Zimmi48:
jfehrle:
SkySkimmer:
Alizter:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
jfehrle:
Alizter:
mattam82:
mattam82:
silene:
mattam82:
mattam82:
SkySkimmer:
Zimmi48:
MSoegtropIMC edited the repository coq/platform.
ejgallego:
mattam82:
mattam82:
mattam82:
mattam82:
ejgallego:
SkySkimmer:
SkySkimmer:
ejgallego added erikmd to the vm-native-maintainers team.
SkySkimmer:
jfehrle:
jfehrle:
ejgallego:
SkySkimmer:
ejgallego:
ejgallego:
ejgallego:
jfehrle:
jfehrle:
SkySkimmer:
mattam82:
ejgallego:
ejgallego:
mattam82:
ejgallego:
ejgallego:
SkySkimmer:
jfehrle:
jfehrle:
SkySkimmer:
ejgallego:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
Zimmi48 added herbelin to the extraction-maintainers team.
ejgallego:
ejgallego:
ejgallego:
palmskog:
ejgallego:
SkySkimmer:
gares:
gares:
gares:
gares:
gares:
Alizter:
mattam82:
mattam82:
mattam82:
mattam82:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ppedrot:
SkySkimmer:
SkySkimmer:
SkySkimmer:
ejgallego:
ejgallego:
ejgallego:
gares:
Zimmi48:
Zimmi48:
Zimmi48:
palmskog:
Zimmi48:
palmskog:
mattam82:
ejgallego:
ejgallego:
Zimmi48 removed MSoegtropIMC to coq.
??
When Michael was working on GitHub Actions on the Coq repository, he had asked to be granted admin access, making him the only "collaborator" (with a special status) on the Coq repo. Now that the Platform is an independent repo, there was no point keeping this.
ejgallego:
ana-borges:
aserebrenik:
Zimmi48:
Zimmi48:
spitters:
spitters:
Zimmi48:
jgrosso:
jgrosso:
k4rtik:
aa755:
aa755:
jfehrle:
jfehrle:
jfehrle:
SkySkimmer:
Alizter:
SkySkimmer:
SkySkimmer:
ppedrot:
Alizter:
mattam82:
jfehrle:
d-m-silva:
d-m-silva:
ejgallego:
ejgallego:
ejgallego:
gares:
palmskog added proux01 to the OPAM maintainer team.
herbelin:
Alizter:
Alizter:
SkySkimmer:
Alizter:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
wkolowski:
ejgallego:
ejgallego:
ejgallego:
ana-borges:
ejgallego:
kodyvajjha:
mycroft92:
CohenCyril:
mycroft92:
aaronpuchert:
TDiazT:
proux01:
mattam82:
kyoDralliam:
SkySkimmer:
palmskog:
palmskog:
palmskog:
galois1:
ejgallego:
ejgallego:
ejgallego:
herbelin:
herbelin:
palmskog:
palmskog:
wyn:
wyn:
SkySkimmer added SkySkimmer to the engine-maintainers team.
ejgallego:
davidjao:
mattam82:
mattam82:
SkySkimmer:
Alizter:
SkySkimmer:
SkySkimmer:
mattam82:
erikmd:
erikmd:
ejgallego:
MackieLoeffel:
gangchensh:
justinfargnoli:
thomas-lamiaux:
nmvdw:
rnrand:
palexand:
rjraya:
tadeuszlitak:
erikmd:
ejgallego:
gares:
clayrat:
pedrotst:
QinshiWang:
trommler:
ejgallego:
Matafou:
SkySkimmer:
Matafou:
Matafou:
palmskog:
ju-sh:
palmskog:
Agnishom:
mukeshtiwari:
berpeti:
ppedrot:
Yu-zh:
smalewski:
ejgallego:
ejgallego:
ejgallego:
mattam82:
erikmd:
erikmd:
ejgallego:
jouvelot:
ejgallego:
justinfargnoli:
clarksmr:
ejgallego:
herbelin:
herbelin:
j3parker:
maximedenes:
YaZko:
Chobbes:
cohradoesr:
jnarboux:
herbelin:
ejgallego:
herbelin:
SkySkimmer:
Alizter:
Alizter:
ejgallego:
ejgallego:
ejgallego:
Alizter:
Alizter:
Alizter:
tlringer:
mattam82:
mattam82:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
herbelin:
agrawalarpan:
viampietro:
palmskog:
palmskog:
palmskog:
ejgallego:
eponier:
JBakouny:
InnovativeInventor:
JasonGross:
JasonGross:
orilahav:
orilahav:
gmalecha:
Columbus240:
Blaisorblade:
Blaisorblade:
Blaisorblade:
gmalecha:
Janno:
barclata:
Zimmi48:
ejgallego:
ejgallego:
pi8027:
SkySkimmer:
Alizter:
SkySkimmer:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
SkySkimmer:
ejgallego:
ejgallego:
LasseBlaauwbroek:
ju-sh:
ejgallego:
ejgallego:
MackieLoeffel:
ejgallego:
ejgallego:
ana-borges:
Blaisorblade:
galois1:
galois1:
galois1:
galois1:
galois1:
ejgallego:
Alizter:
Alizter:
ejgallego:
SkySkimmer:
SkySkimmer:
klausnat:
Blaisorblade:
Blaisorblade:
charguer:
charguer:
charguer:
SkySkimmer:
CohenCyril:
CohenCyril:
gares:
mattam82:
SkySkimmer:
ana-borges:
matejkosik removed matejkosik from the Contributors team.
Blaisorblade:
kyoDralliam:
kyoDralliam:
kyoDralliam:
SkySkimmer:
amahboubi:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
kyoDralliam:
ejgallego:
ejgallego:
samvang:
samvang:
samvang:
ana-borges:
ana-borges:
samvang:
samvang:
hannelita:
hannelita:
hannelita:
ejgallego:
jfehrle:
rnollet:
rnollet:
teoc98:
hannelita:
hannelita:
hannelita:
hannelita:
jfehrle:
herbelin:
samuelgruetter:
LouGlzHuesca:
gares:
mattam82:
SkySkimmer:
jfehrle:
jfehrle:
maximedenes:
maximedenes:
jfehrle:
mattam82:
SkySkimmer:
ppedrot:
Zimmi48:
mattam82:
mattam82:
mattam82:
ppedrot:
mattam82:
hannelita:
hannelita:
LasseBlaauwbroek:
LasseBlaauwbroek:
SkySkimmer:
hannelita:
hannelita:
hannelita:
thery:
SkySkimmer:
SkySkimmer:
ejgallego:
ejgallego:
ejgallego:
Alizter:
Alizter:
ejgallego:
ejgallego:
ejgallego:
Alizter:
Zimmi48 added ana-borges to the number-maintainers team.
ppedrot:
ppedrot:
ppedrot:
ppedrot:
ppedrot:
ppedrot:
ejgallego:
JasonGross:
JasonGross:
mattam82:
mattam82:
ejgallego:
ejgallego:
Alizter:
Alizter:
Alizter:
Zimmi48 removed Zimmi48 from the build-maintainers team.
jfehrle:
JasonGross:
JasonGross:
jfehrle:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
mattam82:
Zimmi48 added jfehrle to the coqide-maintainers team.
Lysxia:
Alizter:
Alizter:
gares:
jfehrle:
SkySkimmer:
Alizter:
gares:
gares:
ppedrot added Alizter to the bench-maintainers team.
mattam82:
mattam82:
SkySkimmer:
SkySkimmer:
SkySkimmer:
SkySkimmer:
SkySkimmer:
SkySkimmer:
SkySkimmer:
SkySkimmer:
SkySkimmer:
Zimmi48:
Lysxia:
maximedenes:
Alizter:
gares:
mattam82:
mattam82:
SkySkimmer:
mattam82:
mattam82:
mattam82:
maximedenes:
maximedenes:
maximedenes:
ppedrot:
mattam82:
Alizter:
Alizter:
Zimmi48:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
SkySkimmer:
Alizter:
Alizter:
MSoegtropIMC:
ejgallego:
Alizter:
Alizter:
SkySkimmer:
Alizter:
mattam82:
mattam82:
mattam82:
gares:
MSoegtropIMC:
Zimmi48 added Alizter to the doc-maintainers team.
ppedrot:
SkySkimmer:
SkySkimmer:
maximedenes:
gares:
Zimmi48:
Alizter:
Alizter:
ejgallego:
ejgallego:
ejgallego:
Alizter:
Alizter:
Alizter:
Alizter:
Alizter:
maximedenes:
maximedenes:
gares:
gares:
ejgallego:
ejgallego:
ybertot:
charguer:
charguer:
SkySkimmer:
SkySkimmer:
Alizter:
SkySkimmer:
ejgallego:
gares:
gares:
gares:
gares:
maximedenes:
SkySkimmer:
gares:
gares:
gares:
gares:
gares:
gares:
gares:
gares:
gares:
ppedrot:
Zimmi48:
SkySkimmer:
ejgallego:
ejgallego:
ejgallego:
mattam82:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
ejgallego:
Zimmi48 added Alizter to the coqbot maintainers team.
erikmd:
erikmd:
charguer:
Zimmi48 removed SkySkimmer from the legacy-build-maintainers team.
Zimmi48 removed JasonGross from the legacy-build-maintainers team.
Zimmi48 removed gares from the legacy-build-maintainers team.
What I actually did, rather than what is written above, is delete the legacy-build-maintainers team (https://github.com/coq/coq/pull/16275).
Zimmi48 added mrhaandi to the Contributors team.
mattam82:
mattam82:
SkySkimmer:
mattam82:
mattam82:
Zimmi48:
MSoegtropIMC:
MSoegtropIMC:
MSoegtropIMC:
MSoegtropIMC:
MSoegtropIMC:
Janno:
louiseddp:
MSoegtropIMC:
gares:
gares:
kamundi1:
Zimmi48:
kyoDralliam:
mattam82:
ppedrot:
ppedrot:
Zimmi48:
gares:
mattam82:
mattam82:
mattam82:
mattam82:
Zimmi48:
Zimmi48:
palmskog:
gares:
aaronpuchert:
Zimmi48:
mattam82: