My menubar is full. Even with "menubar mode" turned off it still appears up there. It should not force an icon up there.

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

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,
    ):

Great tool. What if I want to search for a domain or org name in combination with all the signatures? Is this possible currently?

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