from the policy document: "The Package Repository name has to be the
name of the source package followed by a ".git" extension"
Can I simply move the repository, thus making the old GIT
path invalid? Will that be a problem? Or must I make a copy of the old
repository, and leave the old one until "mpich2" is no longer in
circulation in any supported Debian release?