Thanks for your patience - here's the binary releases -

https://gitlab.com/repnetchain/repnet/-/releases/1.0.0

https://gitlab.com/-/project/50938549/uploads/69738e919e8656a6807fcd3f104630df/repnetlinux.zip
https://gitlab.com/-/project/50938549/uploads/6149d93f8230d85993ae4351120a5214/repnetwindows.zip

Run the node (repnetd) until it is updated (will take an hour or two) - then you can run the miner - difficulty is low right now, so you should start getting coins right away.