add arduinoJson

2023-02-04 14:23:15 +01:00
parent 3375ec3dbb
commit e147d32b98
430 changed files with 45079 additions and 30 deletions
--- a/lib/ArduinoJson/extras/scripts/get-release-page.sh
+++ b/lib/ArduinoJson/extras/scripts/get-release-page.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+set -eu
+
+VERSION="$1"
+CHANGELOG="$2"
+FRONTMATTER="$3"
+
+cat << END
+---
+branch: v6
+version: $VERSION
+date: '$(date +'%Y-%m-%d')'
+$(cat "$FRONTMATTER")
+---
+
+$(awk '/\* /{ FOUND=1; print; next } { if (FOUND) exit}' "$CHANGELOG")
+END