GitHub API

GitHub Announcement:
https://developer.github.com/changes/2017-04-11-protected-branch-dismissal-restrictions/

Note that the provided link in the announcement is somewhat misleading in that this change affects potentially more than just this one API endpoint on this page.

I think the po

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

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?

Something like this would come in handy:

<?php declare(strict_types = 1);

use Github\Api\RateLimit\RateLimitResource;
use Github\Client;
use Http\Client\Common\Plugin;
use Http\Promise\Promise;
use Psr\Http\Message\RequestInterface;

class RateLimitPlugin implements Plugin
{

	private Client $client;

	public function setClient(Client $client): void
	{
		$this->client =