public override void CopyFile(FilePath source, FilePath dest, bool overwrite)
{
Repository repo = GetRepository(dest);
if (!repo.RequestFileWritePermission(dest))
{
throw new System.IO.IOException("Write permission denied.");
}
base.CopyFile(source, dest, overwrite);
repo.NotifyFileChanged(dest);
}