create github server in settings

This commit is contained in:
Slawomir Jaranowski
2020-02-22 13:44:35 +01:00
parent c17275b0ee
commit df80e35e53
3 changed files with 109 additions and 16 deletions

View File

@ -20,6 +20,11 @@ inputs:
description: 'override existing settings.xml file'
default: "true"
required: false
githubServer:
description: 'add to settings.xml servers server-id: github; username=$GITHUB_ACTOR and password=$GITHUB_TOKEN'
default: "true"
required: false
runs: