Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix make target "discovery" by correctly escaping commands (#1611)
The awk command of the `discovery` make target was not correctly escaped and ended up discovering the wrong version. Instead of detecting `8bed56da0b8e0f6bb7c2d255194694bba97bb28f` it detected `8bed56da0b8e0f6bb7c2d255194694bba97bb28f refs/heads/main` which ended up breaking the docs generation. fixes #1609
- Loading branch information