server is not required (default was already set)

This commit is contained in:
Carles Pina i Estany 2021-10-25 23:31:41 +01:00
parent 84dc6cc070
commit 9ed2368a01

View File

@ -13,7 +13,7 @@ inputs:
github-server:
description: 'Github server'
default: 'github.com'
required: true
required: false
user-email:
description: 'Email for the git commit'
required: true