Skip to content

Fix and extend push webhook documentation.#499

Merged
lucascosti merged 3 commits intogithub:mainfrom
coling:patch-1
Oct 20, 2020
Merged

Fix and extend push webhook documentation.#499
lucascosti merged 3 commits intogithub:mainfrom
coling:patch-1

Commits

Commits on Oct 13, 2020

Commits on Oct 20, 2020