This is the way that I’ve installed it a couple of months ago. The repo gets installed automatically.