docs/tools
Dave Protasowski 48ed3a4214
fix go redirect (#5531)
* fix redirect

* clean up and ignore some repos
2023-04-13 19:09:51 +00:00
..
redir-gen fix go redirect (#5531) 2023-04-13 19:09:51 +00:00