Resolves #3791: Test mantis/github