diff options
| author |  jesopo | 2019-05-17 10:10:27 +0100 |
|---|---|---|
| committer | jesopo | 2019-05-17 10:10:27 +0100 |
| commit | 3411f12fc49288187166191c0fe1c66f70955d34 (patch) | |
| tree | 6d6a743c86a80c173f37385a1e8584c0ce89aede /modules/github/ghwebhook.md | |
| parent | `server` -> `event["server"]` (diff) | |
| signature | ||
Use github-default-repo to fill in org when org is missing but repo isn't
Diffstat (limited to 'modules/github/ghwebhook.md')
0 files changed, 0 insertions, 0 deletions