chore: handle push of unchanged schema

2022-10-14 22:41:56 +02:00
parent eb41e24002
commit b1124d6350
10 changed files with 866 additions and 61 deletions
@@ -4,3 +4,4 @@
 coverage.html
 /exported
 /release
+/schemactl