silly change just to trigger PR

This commit is contained in:
Pablo Martin 2025-03-19 09:14:26 +01:00
parent c00d02685d
commit 7cc893cad4

View file

@ -134,6 +134,10 @@ Once you build the docs with `run_docs.sh`, you will have a bunch of files. To o
This goes beyond the scope of this project: to understand how you can serve these, refer to our [infra script repo](https://guardhog.visualstudio.com/Data/_git/data-infra-script). Specifically, the bits around the web gateway set up. This goes beyond the scope of this project: to understand how you can serve these, refer to our [infra script repo](https://guardhog.visualstudio.com/Data/_git/data-infra-script). Specifically, the bits around the web gateway set up.
## CI
TBD.
## Stuff that we haven't done but we would like to ## Stuff that we haven't done but we would like to
- Automate formatting with git pre-commit. - Automate formatting with git pre-commit.