Thread:User talk:^demon/Rename repo and help!

Hi Chad, I wanted to ask you two favors, if you have the time. You recently created a repository for an extension I developed, called HoverGallery, and named the repository mediawiki/extensions/Hovergallery. Would it be too much trouble to rename it mediawiki/extensions/HoverGallery, just to keep consistency with the rest of the extension? The other favor is that I'm quite new to Git and Gerrit, and I can't seem to find the way to submit my code to the new repo. I can clone the (empty) repo, create a local branch, add and commit the changes, but when I send them for review to Gerrit, they show up in the mediawiki/core project! How can I submit them to the mediawiki/extensions/Hovergallery project? I've been looking and trying for hours, but can't seem to get it right. I'd appreciate your help a lot, really. Thanks for reading!