tree 1dab08245f19fe2e07f9fbfdcfd8bb9f15fc7274
parent daa7429154ebc081ed1c62ae38670b2ba08c503f
parent 056106fff13847e10feecfd81bade1eaa834ed31
author Daniele Sassoli <danielesassoli@gmail.com> 1699384324 -0800
committer Daniele Sassoli <danielesassoli@gmail.com> 1699384324 -0800

Merge branch 'stable-3.7' into stable-3.8

* stable-3.7:
  Rename config.md to metrics.md
  Add the ability to fail healthcheck by creating a fail file

Change-Id: Ic01fbf65ddfccd6abb3856600d7c4919bc2819e7