Skip to content
#

GitHub API

github-api logo

The GitHub API provides endpoints for users to consume GitHub data as well as make changes on a user’s behalf. The latest version is v4, the GraphQL API. The GitHub GraphQL API v4 represents an architectural and conceptual shift from the GitHub REST API v3 and allows for users to craft queries of the exact data they need.

Here are 2,727 public repositories matching this topic...

devhub
gnumoksha
gnumoksha commented Nov 19, 2019
$ chmod +x DevHub-0.98.5.AppImage
$ ./DevHub-0.98.5.AppImage
[74678:1119/111718.741581:FATAL:setuid_sandbox_host.cc(157)] The SUID sandbox helper binary was found, but is not configured correctly. Rather than run without sandboxing I'm aborting now. You need to make sure that /tmp/.mount_DevHubUcWLlF/chrome-sandbox is owned by root and has mode 4755.
[1]    74678 trace trap  ./D
taisph
taisph commented Nov 5, 2020

Our GitHub integration does a number of automated steps, one being comparing a PR branch with the base, to determine if it can be cleanly merged. It uses Repositories.CompareCommits() passing PullRequest.GetBase().GetRef() and PullRequest.GetHead().GetRef() as base and head refs.

Now, someone on our team thought it would be a great idea to name a branch "feature/#nnnn-some-task", causing

You can’t perform that action at this time.