I would not recommend calling the IRS based on phone numbers you see on GitHub, though they may be correct sometimes.
Just google the phone number to confirm it's correct, takes about 5 seconds.
I would also not recommend calling the IRS based on mutable files on GitHub that are verified by people on HN. Though they may be correct sometimes.