From 701935c01d6905d36185311e0d91f222c3581e26 Mon Sep 17 00:00:00 2001 From: tischrei Date: Tue, 4 Apr 2023 11:14:43 +0000 Subject: [PATCH] Update 'Home' --- Home.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Home.md b/Home.md index 8da1650..6a51989 100644 --- a/Home.md +++ b/Home.md @@ -14,5 +14,5 @@ All changes to any of the doc data is generated from metadata in this repository - `tools/open_doc_issue.py` - open gitea issues for every document -- `tools/sync_doc_repo.py` - open PRs to synchronize content (overwrite) between environments. +- `tools/sync_doc_repo.py` - open PRs to synchronize content (overwrite) between environments. gh tool as package needs to be present: https://github.com/cli/cli/blob/trunk/docs/install_linux.md