Merge branch 'master' into chore/maven

Author: lucacome

renovate.json

@@ -0,0 +1,7 @@
+{
+  "$schema": "https://docs.renovatebot.com/renovate-schema.json",
+  "extends": [
+    "github>opentracing-contrib/common",
+    "schedule:weekly"
+  ]
+}