Migrate _redirects and search-config.json version updates to GitHub [DI-835] - #539

Merged

nishaatr merged 8 commits into

mainfrom

DI-719-migrate-antora-1

Aug 3, 2026

Commits on Jul 12, 2026

Initial change
nishaatr
committed
f756d9b

Commits on Jul 26, 2026

Port changes suggested and fixed in PR hz-docs@2251
nishaatr
committed
be054b5
Fix workflow names in PR builder and filter on '*.py'
nishaatr
committed
31274f8
Readd link comment for 'Logging distinct ID' step
nishaatr
committed
811b834

Commits on Jul 27, 2026

Commits on Aug 3, 2026

Merge branch 'main' into DI-719-migrate-antora-1
nishaatr
authored
56bf262
Change '@DI-719-migrate-antora-1' to '@main'
nishaatr
committed
9ffbd5d