Weirdly a Google search for "GitHub.com/IRS-Public site:irs.gov" didn't turn up anything.

This is one of the projects that DOGE killed though, so maybe unsurprising that it's not linked to from official .gov websites.