We are actually considering to pay them but we still need to justify the expense and ask for approval to our finance team. It might take a while (both our side and probably theirs too).

Setting up a mirror would be trivial instead. I'm not asking by any means any support or time from him, even a ZIP file hosted on GitHub Releases (where bandwidth is "free") would've worked.