putting mantis is its own repository
putting mantis in its own repsitory