github-tools-0.1.3: Various Github helper utilities.

Index - P

PageBuild 
1 (Type/Class)GitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildCommitGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildCreatedAtGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildDurationGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
PageBuildError 
1 (Type/Class)GitHub.Types.Base.PageBuildError, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.PageBuildError, GitHub.Types.Base, GitHub.Types
pageBuildErrorGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildErrorMessageGitHub.Types.Base.PageBuildError, GitHub.Types.Base, GitHub.Types
PageBuildEvent 
1 (Type/Class)GitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
2 (Data Constructor)GitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
pageBuildEventBuildGitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
pageBuildEventIdGitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
pageBuildEventInstallationGitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
pageBuildEventOrganizationGitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
PageBuildEventPayloadGitHub.Types.PayloadParser, GitHub.Types
pageBuildEventRepositoryGitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
pageBuildEventSenderGitHub.Types.Events.PageBuildEvent, GitHub.Types.Events, GitHub.Types
pageBuildPusherGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildStatusGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildUpdatedAtGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
pageBuildUrlGitHub.Types.Base.PageBuild, GitHub.Types.Base, GitHub.Types
ParseErrorGitHub.WebHook.Handler
parseSpecGitHub.Types.Workflow
PayloadGitHub.Types.PayloadParser, GitHub.Types
PayloadParser 
1 (Type/Class)GitHub.Types.PayloadParser, GitHub.Types
2 (Data Constructor)GitHub.Types.PayloadParser, GitHub.Types
payloadParserGitHub.Types.PayloadParser, GitHub.Types
payloadParsersGitHub.Types.PayloadParser, GitHub.Types
payloadParserTypeNameGitHub.Types.PayloadParser, GitHub.Types
payloadParserWebhookNameGitHub.Types.PayloadParser, GitHub.Types
PermissionGitHub.Types.Workflow
PermissionReadGitHub.Types.Workflow
Permissions 
1 (Type/Class)GitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
3 (Type/Class)GitHub.Types.Workflow
permissionsActionsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsAdministrationGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsAttestationsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsChecksGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsContentReferencesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsContentsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsDeploymentsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsDiscussionsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsEmailsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsIssuesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsKeysGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
PermissionsMap 
1 (Type/Class)GitHub.Types.Workflow
2 (Data Constructor)GitHub.Types.Workflow
permissionsMapContentsGitHub.Types.Workflow
permissionsMapPullRequestsGitHub.Types.Workflow
permissionsMembersGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsMergeQueuesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsMetadataGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsOrganizationAdministrationGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsOrganizationCustomPropertiesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsOrganizationHooksGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsOrganizationPackagesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsOrganizationProjectsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsPackagesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsPagesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsPullRequestsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsRepositoryCustomPropertiesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsRepositoryHooksGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsRepositoryProjectsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsSecurityEventsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsSingleFileGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
permissionsStatusesGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
PermissionsStringGitHub.Types.Workflow
PermissionsStringReadAllGitHub.Types.Workflow
PermissionsStringWriteAllGitHub.Types.Workflow
permissionsVulnerabilityAlertsGitHub.Types.Base.Permissions, GitHub.Types.Base, GitHub.Types
PermissionWriteGitHub.Types.Workflow
PingEvent 
1 (Type/Class)GitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
2 (Data Constructor)GitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
pingEventHookGitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
pingEventHookIdGitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
pingEventInstallationGitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
pingEventOrganizationGitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
PingEventPayloadGitHub.Types.PayloadParser, GitHub.Types
pingEventSenderGitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
pingEventZenGitHub.Types.Events.PingEvent, GitHub.Types.Events, GitHub.Types
prBranchGitHub.Tools.PullRequestInfo
prCreatedGitHub.Tools.PullRequestInfo
prNumberGitHub.Tools.PullRequestInfo
prOriginGitHub.Tools.PullRequestInfo
prRepoNameGitHub.Tools.PullRequestInfo
prReviewersGitHub.Tools.PullRequestInfo
prStateGitHub.Tools.PullRequestInfo
prTitleGitHub.Tools.PullRequestInfo
prToTableGitHub.Tools.PullRequestInfo
prTrustworthyGitHub.Tools.PullRequestInfo
prUserGitHub.Tools.PullRequestInfo
PullRequest 
1 (Type/Class)GitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestAdditionsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestAssigneeGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestAssigneesGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestAuthorAssociationGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestBaseGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestBodyGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestChangedFilesGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestClosedAtGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestCommentsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestCommentsUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestCommitsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestCommitsUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestCreatedAtGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestDeletionsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestDiffUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestDraftGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PullRequestEvent 
1 (Type/Class)GitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
2 (Data Constructor)GitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventActionGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventAfterGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventAssigneeGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventBeforeGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventChangesGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventInstallationGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventLabelGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventNumberGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventOrganizationGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
PullRequestEventPayloadGitHub.Types.PayloadParser, GitHub.Types
pullRequestEventPullRequestGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventRepositoryGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventRequestedReviewerGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventRequestedTeamGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestEventSenderGitHub.Types.Events.PullRequestEvent, GitHub.Types.Events, GitHub.Types
pullRequestHeadGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestHtmlUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestIdGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PullRequestInfo 
1 (Type/Class)GitHub.Tools.PullRequestInfo
2 (Data Constructor)GitHub.Tools.PullRequestInfo
pullRequestIssueUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestLabelsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PullRequestLinks 
1 (Type/Class)GitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestLinksCommentsGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksCommitsGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksHtmlGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksIssueGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksReviewCommentGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksReviewCommentsGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksSelfGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLinksStatusesGitHub.Types.Base.PullRequestLinks, GitHub.Types.Base, GitHub.Types
pullRequestLockedGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMaintainerCanModifyGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMergeableGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMergeableStateGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMergeCommitShaGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMergedGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMergedAtGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMergedByGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestMilestoneGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestNodeIdGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestNumberGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestPatchUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestRebaseableGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PullRequestRef 
1 (Type/Class)GitHub.Types.Base.PullRequestRef, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.PullRequestRef, GitHub.Types.Base, GitHub.Types
pullRequestRefDiffUrlGitHub.Types.Base.PullRequestRef, GitHub.Types.Base, GitHub.Types
pullRequestRefHtmlUrlGitHub.Types.Base.PullRequestRef, GitHub.Types.Base, GitHub.Types
pullRequestRefPatchUrlGitHub.Types.Base.PullRequestRef, GitHub.Types.Base, GitHub.Types
pullRequestRefUrlGitHub.Types.Base.PullRequestRef, GitHub.Types.Base, GitHub.Types
pullRequestRequestedReviewersGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestRequestedTeamsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PullRequestReviewCommentEvent 
1 (Type/Class)GitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
2 (Data Constructor)GitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentEventActionGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentEventCommentGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentEventInstallationGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentEventOrganizationGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
PullRequestReviewCommentEventPayloadGitHub.Types.PayloadParser, GitHub.Types
pullRequestReviewCommentEventPullRequestGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentEventRepositoryGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentEventSenderGitHub.Types.Events.PullRequestReviewCommentEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewCommentsGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestReviewCommentsUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestReviewCommentUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PullRequestReviewEvent 
1 (Type/Class)GitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
2 (Data Constructor)GitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventActionGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventChangesGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventInstallationGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventOrganizationGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
PullRequestReviewEventPayloadGitHub.Types.PayloadParser, GitHub.Types
pullRequestReviewEventPullRequestGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventRepositoryGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventReviewGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestReviewEventSenderGitHub.Types.Events.PullRequestReviewEvent, GitHub.Types.Events, GitHub.Types
pullRequestStateGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestStatusesUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestTitleGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestUpdatedAtGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestUrlGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
pullRequestUserGitHub.Types.Base.PullRequest, GitHub.Types.Base, GitHub.Types
PushCommit 
1 (Type/Class)GitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
2 (Data Constructor)GitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitAddedGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitAuthorGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitCommitterGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitDistinctGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitIdGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitMessageGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitModifiedGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitRemovedGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitTimestampGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitTreeIdGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
pushCommitUrlGitHub.Types.Base.PushCommit, GitHub.Types.Base, GitHub.Types
PushEvent 
1 (Type/Class)GitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
2 (Data Constructor)GitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventAfterGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventBaseRefGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventBeforeGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventCommitsGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventCompareGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventCreatedGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventDeletedGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventDistinctCommitsGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventForcedGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventHeadCommitGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventInstallationGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventOrganizationGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
PushEventPayloadGitHub.Types.PayloadParser, GitHub.Types
pushEventPusherGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventRefGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventRefNameGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventRepositoryGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types
pushEventSenderGitHub.Types.Events.PushEvent, GitHub.Types.Events, GitHub.Types