Actually use the correct repo path for spigot