';
$s_plugin_SourceGitlab_hub_reponame = 'GitLab Repository Name mit Namespace Slash am Anfang oder Ende (namespace/project)';
$s_plugin_SourceGitlab_hub_app_secret = 'GitLab API Key
API Schlüssel für den Mantis Benutzer (continuous Benutzer)';
$s_plugin_SourceGitlab_master_branch = 'Hauptbranches
(Komma-separierte Liste oder *)';
$s_plugin_SourceGitlab_back_repo = 'Zurück zum Repository';