This doesn't actually do anything, since the name is taken from the repo name by default, but it doesn't hurt anything.