sandbox repository to learn mantis-github integration