chore: use github.api_url as default (#62)

Co-authored-by: John Kuhn <john@useintegral.com>
This commit is contained in:
Marco Lecheler 2024-04-17 00:40:12 +02:00 committed by GitHub
parent 891ac86f32
commit 13d17c48b7
WARNING! Although there is a key with this ID in the database it does not verify this commit! This commit is SUSPICIOUS.
GPG key ID: B5690EEEBB952194

View file

@ -54,7 +54,7 @@ inputs:
github_api_url:
description: 'URL to the API of your Github Server, only necessary for Github Enterprise customers'
required: false
default: 'https://api.github.com'
default: '${{ github.api_url }}'
files_to_ignore:
description: 'Whitespace separated list of files to ignore when calculating the PR size (sum of changes)'
required: false