How to "Setup Wiring Pi"

I am trying to set up Wiring Pi as described on the Getting started page, but have no idea how to get that wiringpi.zip file on the RPi Desktop with these instructions:
You will need wiringPi to be installed on the RPi.
Get the modified version from our github repository here: https://github.com/DexterInd/BrickPi/tree/master/Setup%20Files

Nothing that let me download this zip file ??? or is it my stupidity ?
The Topic in this forum on how to use git doesn’t help either …

I think the link provided is to the repository, if you were to go in a browser and download it.

I think you should be able to clone the BrickPi directory from Github on the computer you’re using and use the zip file. You can also directly download it from this link:

https://github.com/DexterInd/BrickPi/raw/master/Setup%20Files/wiringPi.zip