We don't know what virus, to be honest.
It didn't show anything off (no pop-ups) on my screen, but my computer randomly shut off and wouldn't turn back on, so we powerwashed it and did some other stuff (my dad's the tech genius, he did it all for me) and it fixed it.. mostly.
I'll try to look for that github, thanks :)