@fredrikekre was right, you don’t need to quote unless there are special characters.
First press ]. Then add https://github.com/probcomp/Gen
.
Alternatively,
using Pkg
Pkg.add(PackageSpec(url = "https://github.com/probcomp/Gen"))
Again, you are not pressing ]