crowdyStudioGitHubRefresh

Bring the project mirror forward to the branch head. This is how a push made outside Crowdy Studio reaches the editor and the agent; githubSha becomes the head commit. A no-op when already at head.

crowdyStudioGitHubRefresh(
  input: CrowdyStudioGitHubProjectInput!
): CrowdyStudioGitHubStatus!

Arguments

crowdyStudioGitHubRefresh.input ● CrowdyStudioGitHubProjectInput! non-null input

Type

CrowdyStudioGitHubStatus object

GitHub connection for the caller and, when a project is named, the repository bound to it. GitHub is a Studio filesystem capability, not a login provider.