Add a repo name (thanks to Benedikt Neuffer)