diff options
| author | Roman Melnikov | 2023-09-18 11:24:41 +0200 |
|---|---|---|
| committer | GitHub | 2023-09-18 11:24:41 +0200 |
| commit | 57d5071e60c1318ec27eb987f96504ce3d58cb34 (patch) | |
| tree | 797b4b52bb76922cd81f2ef00115084c9c11ef97 /src/push.rs | |
| parent | 31c32fb2959103a796e07bbe47e0a5e287c343a8 (diff) | |
| parent | b5625de9c918d4ea318627fc1a18943ac8c1e1b1 (diff) | |
Merge pull request #234 from fd/master
Replace jsonschema-cli with check-jsonschema
Diffstat (limited to 'src/push.rs')
0 files changed, 0 insertions, 0 deletions