Help adding Arduino/Genuino Micro Board to Board Manager

Hello,

I have an osoyoo pro micro atmega328 pro mini board and I need to run it with the arduino/genuino micro board manager. But I cannot figure out how to add that board to the board manager. It isn't included in Arduino ide 1.8.13 that I cam running. Any suggestions?