Merge pull request #218 from kazuma0129/support-ghe

Fix link generation for GitHub Enterprise by using `GITHUB_SERVER_URL`
This commit is contained in:
Alastair Mooney 2024-11-05 09:44:19 +00:00 committed by GitHub
commit 3ba2647ea6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 5 deletions

View File

@ -67,6 +67,10 @@ inputs:
description: 'Base url of GitHub API' description: 'Base url of GitHub API'
required: false required: false
default: ${{ github.api_url }} default: ${{ github.api_url }}
GITHUB_SERVER_URL:
description: 'Base URL of GitHub web interface'
required: false
default: ${{ github.server_url }}
ESCAPE: ESCAPE:
description: 'Escape all special Markdown characters' description: 'Escape all special Markdown characters'
required: false required: false

View File

@ -8,11 +8,6 @@ from io import StringIO
import itertools import itertools
import operator import operator
from collections import defaultdict from collections import defaultdict
from TodoParser import TodoParser
from LineStatus import LineStatus
from Client import Client
from LocalClient import LocalClient
from GitHubClient import GitHubClient
if __name__ == "__main__": if __name__ == "__main__":