OK, that is basic setup of mantis done. Led user through git repo config and extras. Now time for a nap. 💤