A command-line tool that makes git easier to use with GitHub.
-
Updated
Dec 1, 2020 - Go
{{ message }}
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.
A command-line tool that makes git easier to use with GitHub.
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
A supercharged Git/GitHub command line interface (CLI). An official integration for GitHub and GitHub Enterprise: https://github.com/works-with/category/desktop-tools
Automatically generate change log from your tags, issues, labels and pull requests on GitHub.
Reconnaissance tool for GitHub organizations
PullRequest.edit does not allow a draft attribute:
def edit(
self,
title=github.GithubObject.NotSet,
body=github.GithubObject.NotSet,
state=github.GithubObject.NotSet,
base=github.GithubObject.NotSet,
):Gitter for GitHub - 可能是目前颜值最高的GitHub微信小程序客户端
GitHub notifications on your menu bar. Available on macOS, Windows & Linux.
Great tool. What if I want to search for a domain or org name in combination with all the signatures? Is this possible currently?
GitHub client for Android based on the abandoned official app
Open source web application to learn JS stack: React, Material-UI, Next.js, Node.js, Express.js, Mongoose, MongoDB database.
A curated list of awesome GitHub guides, articles, sites, tools, projects and resources. 收集这个列表,只是为了更好地使用GitHub,欢迎提交pr和issue。
I see that merging a pull request is possible but I couldn't find it in the docs in this repo. Is the document not updated or the feature itself is not available?
https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
Monkey is a unofficial GitHub client for iOS,to show the rank of coders and repositories.
Listen to music generated by events happening across GitHub
sync gas code to github
GitHub WeChat Mini Program
Ruby interface to GitHub API
Hi, I'm a library for interacting with GItHub's REST API in a convenient and ergonomic way. I work on Python 2.7, 3.4, 3.5, 3.6, and 3.7 (and maybe 3.8?)
Semi-automated, feedback-driven tool to rapidly search through troves of public data on GitHub for sensitive secrets.
Create GitHub Resource Download Link
Write workflows scripting the GitHub API in JavaScript
My menubar is full. Even with "menubar mode" turned off it still appears up there. It should not force an icon up there.