Skip to content

Allow users to specify separate API URL for github connectors#23200

Merged
capnspacehook merged 2 commits intomasterfrom
capnspacehook/github-api-url
Mar 23, 2023
Merged

Allow users to specify separate API URL for github connectors#23200
capnspacehook merged 2 commits intomasterfrom
capnspacehook/github-api-url

Conversation

@capnspacehook
Copy link
Copy Markdown
Contributor

@capnspacehook capnspacehook commented Mar 16, 2023

@capnspacehook capnspacehook marked this pull request as ready for review March 22, 2023 14:35
@capnspacehook capnspacehook force-pushed the capnspacehook/github-api-url branch from 2323510 to b5c30ce Compare March 22, 2023 14:35
@capnspacehook capnspacehook added this pull request to the merge queue Mar 23, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Mar 23, 2023
@capnspacehook capnspacehook added this pull request to the merge queue Mar 23, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Mar 23, 2023
@capnspacehook capnspacehook added this pull request to the merge queue Mar 23, 2023
Merged via the queue into master with commit e202393 Mar 23, 2023
@capnspacehook capnspacehook deleted the capnspacehook/github-api-url branch March 23, 2023 20:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants