/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to breezy/plugins/propose/github.py

  • Committer: Marius Kruger
  • Date: 2010-07-10 21:28:56 UTC
  • mto: (5384.1.1 integration)
  • mto: This revision was merged to the branch mainline in revision 5385.
  • Revision ID: marius.kruger@enerweb.co.za-20100710212856-uq4ji3go0u5se7hx
* Update documentation
* add NEWS

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
# Copyright (C) 2018 Breezy Developers
2
 
#
3
 
# This program is free software; you can redistribute it and/or modify
4
 
# it under the terms of the GNU General Public License as published by
5
 
# the Free Software Foundation; either version 2 of the License, or
6
 
# (at your option) any later version.
7
 
#
8
 
# This program is distributed in the hope that it will be useful,
9
 
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
 
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
 
# GNU General Public License for more details.
12
 
#
13
 
# You should have received a copy of the GNU General Public License
14
 
# along with this program; if not, write to the Free Software
15
 
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
16
 
 
17
 
"""Support for GitHub."""
18
 
 
19
 
from __future__ import absolute_import
20
 
 
21
 
import json
22
 
import os
23
 
 
24
 
from ...propose import (
25
 
    determine_title,
26
 
    Hoster,
27
 
    HosterLoginRequired,
28
 
    MergeProposal,
29
 
    MergeProposalBuilder,
30
 
    MergeProposalExists,
31
 
    NoSuchProject,
32
 
    PrerequisiteBranchUnsupported,
33
 
    ReopenFailed,
34
 
    UnsupportedHoster,
35
 
    )
36
 
 
37
 
from ... import (
38
 
    bedding,
39
 
    branch as _mod_branch,
40
 
    controldir,
41
 
    errors,
42
 
    hooks,
43
 
    urlutils,
44
 
    version_string as breezy_version,
45
 
    )
46
 
from ...config import AuthenticationConfig, GlobalStack
47
 
from ...errors import InvalidHttpResponse, PermissionDenied
48
 
from ...git.urls import git_url_to_bzr_url
49
 
from ...i18n import gettext
50
 
from ...sixish import PY3
51
 
from ...trace import note
52
 
from ...transport import get_transport
53
 
from ...transport.http import default_user_agent
54
 
 
55
 
 
56
 
GITHUB_HOST = 'github.com'
57
 
WEB_GITHUB_URL = 'https://github.com'
58
 
API_GITHUB_URL = 'https://api.github.com'
59
 
DEFAULT_PER_PAGE = 50
60
 
 
61
 
 
62
 
def store_github_token(scheme, host, token):
63
 
    with open(os.path.join(bedding.config_dir(), 'github.conf'), 'w') as f:
64
 
        f.write(token)
65
 
 
66
 
 
67
 
def retrieve_github_token(scheme, host):
68
 
    path = os.path.join(bedding.config_dir(), 'github.conf')
69
 
    if not os.path.exists(path):
70
 
        return None
71
 
    with open(path, 'r') as f:
72
 
        return f.read().strip()
73
 
 
74
 
 
75
 
class ValidationFailed(errors.BzrError):
76
 
 
77
 
    _fmt = "GitHub validation failed: %(error)s"
78
 
 
79
 
    def __init__(self, error):
80
 
        errors.BzrError.__init__(self)
81
 
        self.error = error
82
 
 
83
 
 
84
 
class NotGitHubUrl(errors.BzrError):
85
 
 
86
 
    _fmt = "Not a GitHub URL: %(url)s"
87
 
 
88
 
    def __init__(self, url):
89
 
        errors.BzrError.__init__(self)
90
 
        self.url = url
91
 
 
92
 
 
93
 
class GitHubLoginRequired(HosterLoginRequired):
94
 
 
95
 
    _fmt = "Action requires GitHub login."
96
 
 
97
 
 
98
 
def connect_github():
99
 
    """Connect to GitHub.
100
 
    """
101
 
    user_agent = default_user_agent()
102
 
    auth = AuthenticationConfig()
103
 
 
104
 
    credentials = auth.get_credentials('https', GITHUB_HOST)
105
 
    if credentials is not None:
106
 
        return Github(credentials['user'], credentials['password'],
107
 
                      user_agent=user_agent)
108
 
 
109
 
    # TODO(jelmer): token = auth.get_token('https', GITHUB_HOST)
110
 
    if token is not None:
111
 
        return Github(token, user_agent=user_agent)
112
 
    else:
113
 
        note('Accessing GitHub anonymously. To log in, run \'brz gh-login\'.')
114
 
        return Github(user_agent=user_agent)
115
 
 
116
 
 
117
 
class GitHubMergeProposal(MergeProposal):
118
 
 
119
 
    def __init__(self, gh, pr):
120
 
        self._gh = gh
121
 
        self._pr = pr
122
 
 
123
 
    def __repr__(self):
124
 
        return "<%s at %r>" % (type(self).__name__, self.url)
125
 
 
126
 
    @property
127
 
    def url(self):
128
 
        return self._pr['html_url']
129
 
 
130
 
    def _branch_from_part(self, part):
131
 
        if part['repo'] is None:
132
 
            return None
133
 
        return github_url_to_bzr_url(part['repo']['html_url'], part['ref'])
134
 
 
135
 
    def get_source_branch_url(self):
136
 
        return self._branch_from_part(self._pr['head'])
137
 
 
138
 
    def get_target_branch_url(self):
139
 
        return self._branch_from_part(self._pr['base'])
140
 
 
141
 
    def get_source_project(self):
142
 
        return self._pr['head']['repo']['full_name']
143
 
 
144
 
    def get_target_project(self):
145
 
        return self._pr['base']['repo']['full_name']
146
 
 
147
 
    def get_description(self):
148
 
        return self._pr['body']
149
 
 
150
 
    def get_commit_message(self):
151
 
        return None
152
 
 
153
 
    def set_commit_message(self, message):
154
 
        raise errors.UnsupportedOperation(self.set_commit_message, self)
155
 
 
156
 
    def _patch(self, data):
157
 
        response = self._gh._api_request(
158
 
            'PATCH', self._pr['url'], body=json.dumps(data).encode('utf-8'))
159
 
        if response.status == 422:
160
 
            raise ValidationFailed(json.loads(response.text))
161
 
        if response.status != 200:
162
 
            raise InvalidHttpResponse(self._pr['url'], response.text)
163
 
        self._pr = json.loads(response.text)
164
 
 
165
 
    def set_description(self, description):
166
 
        self._patch({
167
 
            'body': description,
168
 
            'title': determine_title(description),
169
 
            })
170
 
 
171
 
    def is_merged(self):
172
 
        return bool(self._pr.get('merged_at'))
173
 
 
174
 
    def is_closed(self):
175
 
        return self._pr['state'] == 'closed' and not bool(self._pr.get('merged_at'))
176
 
 
177
 
    def reopen(self):
178
 
        try:
179
 
            self._patch({'state': 'open'})
180
 
        except ValidationFailed as e:
181
 
            raise ReopenFailed(e.error['errors'][0]['message'])
182
 
 
183
 
    def close(self):
184
 
        self._patch({'state': 'closed'})
185
 
 
186
 
    def can_be_merged(self):
187
 
        return self._pr['mergeable']
188
 
 
189
 
    def merge(self, commit_message=None):
190
 
        # https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
191
 
        self._pr.merge(commit_message=commit_message)
192
 
 
193
 
    def get_merged_by(self):
194
 
        merged_by = self._pr.get('merged_by')
195
 
        if merged_by is None:
196
 
            return None
197
 
        return merged_by['login']
198
 
 
199
 
    def get_merged_at(self):
200
 
        merged_at = self._pr.get('merged_at')
201
 
        if merged_at is None:
202
 
            return None
203
 
        import iso8601
204
 
        return iso8601.parse_date(merged_at)
205
 
 
206
 
 
207
 
def parse_github_url(url):
208
 
    (scheme, user, password, host, port, path) = urlutils.parse_url(
209
 
        url)
210
 
    if host != GITHUB_HOST:
211
 
        raise NotGitHubUrl(url)
212
 
    (owner, repo_name) = path.strip('/').split('/')
213
 
    if repo_name.endswith('.git'):
214
 
        repo_name = repo_name[:-4]
215
 
    return owner, repo_name
216
 
 
217
 
 
218
 
def parse_github_branch_url(branch):
219
 
    url = urlutils.strip_segment_parameters(branch.user_url)
220
 
    owner, repo_name = parse_github_url(url)
221
 
    return owner, repo_name, branch.name
222
 
 
223
 
 
224
 
def github_url_to_bzr_url(url, branch_name):
225
 
    if not PY3:
226
 
        branch_name = branch_name.encode('utf-8')
227
 
    return git_url_to_bzr_url(url, branch_name)
228
 
 
229
 
 
230
 
def strip_optional(url):
231
 
    return url.split('{')[0]
232
 
 
233
 
 
234
 
class GitHub(Hoster):
235
 
 
236
 
    name = 'github'
237
 
 
238
 
    supports_merge_proposal_labels = True
239
 
    supports_merge_proposal_commit_message = False
240
 
    supports_allow_collaboration = True
241
 
    merge_proposal_description_format = 'markdown'
242
 
 
243
 
    def __repr__(self):
244
 
        return "GitHub()"
245
 
 
246
 
    def _api_request(self, method, path, body=None):
247
 
        headers = {
248
 
            'Content-Type': 'application/json',
249
 
            'Accept': 'application/vnd.github.v3+json'}
250
 
        if self._token:
251
 
            headers['Authorization'] = 'token %s' % self._token
252
 
        response = self.transport.request(
253
 
            method, urlutils.join(self.transport.base, path),
254
 
            headers=headers, body=body, retries=3)
255
 
        if response.status == 401:
256
 
            raise GitHubLoginRequired(self)
257
 
        return response
258
 
 
259
 
    def _get_repo(self, owner, repo):
260
 
        path = 'repos/%s/%s' % (owner, repo)
261
 
        response = self._api_request('GET', path)
262
 
        if response.status == 404:
263
 
            raise NoSuchProject(path)
264
 
        if response.status == 200:
265
 
            return json.loads(response.text)
266
 
        raise InvalidHttpResponse(path, response.text)
267
 
 
268
 
    def _get_repo_pulls(self, path, head=None, state=None):
269
 
        path = path + '?'
270
 
        params = {}
271
 
        if head is not None:
272
 
            params['head'] = head
273
 
        if state is not None:
274
 
            params['state'] = state
275
 
        path += ';'.join(['%s=%s' % (k, urlutils.quote(v))
276
 
                         for k, v in params.items()])
277
 
        response = self._api_request('GET', path)
278
 
        if response.status == 404:
279
 
            raise NoSuchProject(path)
280
 
        if response.status == 200:
281
 
            return json.loads(response.text)
282
 
        raise InvalidHttpResponse(path, response.text)
283
 
 
284
 
    def _create_pull(self, path, title, head, base, body=None, labels=None,
285
 
                     assignee=None, draft=False, maintainer_can_modify=False):
286
 
        data = {
287
 
            'title': title,
288
 
            'head': head,
289
 
            'base': base,
290
 
            'draft': draft,
291
 
            'maintainer_can_modify': maintainer_can_modify,
292
 
        }
293
 
        if labels is not None:
294
 
            data['labels'] = labels
295
 
        if assignee is not None:
296
 
            data['assignee'] = assignee
297
 
        if body:
298
 
            data['body'] = body
299
 
 
300
 
        response = self._api_request(
301
 
            'POST', path, body=json.dumps(data).encode('utf-8'))
302
 
        if response.status == 403:
303
 
            raise PermissionDenied(path, response.text)
304
 
        if response.status != 201:
305
 
            raise InvalidHttpResponse(path, 'req is invalid %d %r: %r' % (response.status, data, response.text))
306
 
        return json.loads(response.text)
307
 
 
308
 
    def _get_user_by_email(self, email):
309
 
        path = 'search/users?q=%s+in:email' % email
310
 
        response = self._api_request('GET', path)
311
 
        if response.status != 200:
312
 
            raise InvalidHttpResponse(path, response.text)
313
 
        ret = json.loads(response.text)
314
 
        if ret['total_count'] == 0:
315
 
            raise KeyError('no user with email %s' % email)
316
 
        elif ret['total_count'] > 1:
317
 
            raise ValueError('more than one result for email %s' % email)
318
 
        return ret['items'][0]
319
 
 
320
 
    def _get_user(self, username=None):
321
 
        if username:
322
 
            path = 'users/%s' % username
323
 
        else:
324
 
            path = 'user'
325
 
        response = self._api_request('GET', path)
326
 
        if response.status != 200:
327
 
            raise InvalidHttpResponse(path, response.text)
328
 
        return json.loads(response.text)
329
 
 
330
 
    def _get_organization(self, name):
331
 
        path = 'orgs/%s' % name
332
 
        response = self._api_request('GET', path)
333
 
        if response.status != 200:
334
 
            raise InvalidHttpResponse(path, response.text)
335
 
        return json.loads(response.text)
336
 
 
337
 
    def _list_paged(self, path, parameters=None, per_page=None):
338
 
        if parameters is None:
339
 
            parameters = {}
340
 
        else:
341
 
            parameters = dict(parameters.items())
342
 
        if per_page:
343
 
            parameters['per_page'] = str(per_page)
344
 
        page = 1
345
 
        i = 0
346
 
        while path:
347
 
            parameters['page'] = str(page)
348
 
            response = self._api_request(
349
 
                'GET', path + '?' +
350
 
                ';'.join(['%s=%s' % (k, urlutils.quote(v))
351
 
                          for (k, v) in parameters.items()]))
352
 
            if response.status != 200:
353
 
                raise InvalidHttpResponse(path, response.text)
354
 
            data = json.loads(response.text)
355
 
            for entry in data['items']:
356
 
                i += 1
357
 
                yield entry
358
 
            if i >= data['total_count']:
359
 
                break
360
 
            page += 1
361
 
 
362
 
    def _search_issues(self, query):
363
 
        path = 'search/issues'
364
 
        return self._list_paged(path, {'q': query}, per_page=DEFAULT_PER_PAGE)
365
 
 
366
 
    def _create_fork(self, path, owner=None):
367
 
        if owner and owner != self._current_user['login']:
368
 
            path += '?organization=%s' % owner
369
 
        response = self._api_request('POST', path)
370
 
        if response.status != 202:
371
 
            raise InvalidHttpResponse(path, 'status: %d, %r' % (response.status, response.text))
372
 
        return json.loads(response.text)
373
 
 
374
 
    @property
375
 
    def base_url(self):
376
 
        return WEB_GITHUB_URL
377
 
 
378
 
    def __init__(self, transport):
379
 
        self._token = retrieve_github_token('https', GITHUB_HOST)
380
 
        self.transport = transport
381
 
        self._current_user = self._get_user()
382
 
 
383
 
    def publish_derived(self, local_branch, base_branch, name, project=None,
384
 
                        owner=None, revision_id=None, overwrite=False,
385
 
                        allow_lossy=True, tag_selector=None):
386
 
        base_owner, base_project, base_branch_name = parse_github_branch_url(base_branch)
387
 
        base_repo = self._get_repo(base_owner, base_project)
388
 
        if owner is None:
389
 
            owner = self._current_user['login']
390
 
        if project is None:
391
 
            project = base_repo['name']
392
 
        try:
393
 
            remote_repo = self._get_repo(owner, project)
394
 
        except NoSuchProject:
395
 
            base_repo = self._get_repo(base_owner, base_project)
396
 
            remote_repo = self._create_fork(base_repo['forks_url'], owner)
397
 
            note(gettext('Forking new repository %s from %s') %
398
 
                 (remote_repo['html_url'], base_repo['html_url']))
399
 
        else:
400
 
            note(gettext('Reusing existing repository %s') % remote_repo['html_url'])
401
 
        remote_dir = controldir.ControlDir.open(git_url_to_bzr_url(remote_repo['ssh_url']))
402
 
        try:
403
 
            push_result = remote_dir.push_branch(
404
 
                local_branch, revision_id=revision_id, overwrite=overwrite,
405
 
                name=name, tag_selector=tag_selector)
406
 
        except errors.NoRoundtrippingSupport:
407
 
            if not allow_lossy:
408
 
                raise
409
 
            push_result = remote_dir.push_branch(
410
 
                local_branch, revision_id=revision_id,
411
 
                overwrite=overwrite, name=name, lossy=True,
412
 
                tag_selector=tag_selector)
413
 
        return push_result.target_branch, github_url_to_bzr_url(
414
 
            remote_repo['html_url'], name)
415
 
 
416
 
    def get_push_url(self, branch):
417
 
        owner, project, branch_name = parse_github_branch_url(branch)
418
 
        repo = self._get_repo(owner, project)
419
 
        return github_url_to_bzr_url(repo['ssh_url'], branch_name)
420
 
 
421
 
    def get_derived_branch(self, base_branch, name, project=None, owner=None):
422
 
        base_owner, base_project, base_branch_name = parse_github_branch_url(base_branch)
423
 
        base_repo = self._get_repo(base_owner, base_project)
424
 
        if owner is None:
425
 
            owner = self._current_user['login']
426
 
        if project is None:
427
 
            project = base_repo['name']
428
 
        try:
429
 
            remote_repo = self._get_repo(owner, project)
430
 
            full_url = github_url_to_bzr_url(remote_repo['ssh_url'], name)
431
 
            return _mod_branch.Branch.open(full_url)
432
 
        except NoSuchProject:
433
 
            raise errors.NotBranchError('%s/%s/%s' % (WEB_GITHUB_URL, owner, project))
434
 
 
435
 
    def get_proposer(self, source_branch, target_branch):
436
 
        return GitHubMergeProposalBuilder(self, source_branch, target_branch)
437
 
 
438
 
    def iter_proposals(self, source_branch, target_branch, status='open'):
439
 
        (source_owner, source_repo_name, source_branch_name) = (
440
 
            parse_github_branch_url(source_branch))
441
 
        (target_owner, target_repo_name, target_branch_name) = (
442
 
            parse_github_branch_url(target_branch))
443
 
        target_repo = self._get_repo(target_owner, target_repo_name)
444
 
        state = {
445
 
            'open': 'open',
446
 
            'merged': 'closed',
447
 
            'closed': 'closed',
448
 
            'all': 'all'}
449
 
        pulls = self._get_repo_pulls(
450
 
            strip_optional(target_repo['pulls_url']),
451
 
            head=target_branch_name,
452
 
            state=state[status])
453
 
        for pull in pulls:
454
 
            if (status == 'closed' and pull['merged'] or
455
 
                    status == 'merged' and not pull['merged']):
456
 
                continue
457
 
            if pull['head']['ref'] != source_branch_name:
458
 
                continue
459
 
            if pull['head']['repo'] is None:
460
 
                # Repo has gone the way of the dodo
461
 
                continue
462
 
            if (pull['head']['repo']['owner']['login'] != source_owner or
463
 
                    pull['head']['repo']['name'] != source_repo_name):
464
 
                continue
465
 
            yield GitHubMergeProposal(self, pull)
466
 
 
467
 
    def hosts(self, branch):
468
 
        try:
469
 
            parse_github_branch_url(branch)
470
 
        except NotGitHubUrl:
471
 
            return False
472
 
        else:
473
 
            return True
474
 
 
475
 
    @classmethod
476
 
    def probe_from_url(cls, url, possible_transports=None):
477
 
        try:
478
 
            parse_github_url(url)
479
 
        except NotGitHubUrl:
480
 
            raise UnsupportedHoster(url)
481
 
        transport = get_transport(
482
 
            API_GITHUB_URL, possible_transports=possible_transports)
483
 
        return cls(transport)
484
 
 
485
 
    @classmethod
486
 
    def iter_instances(cls):
487
 
        yield cls(get_transport(API_GITHUB_URL))
488
 
 
489
 
    def iter_my_proposals(self, status='open'):
490
 
        query = ['is:pr']
491
 
        if status == 'open':
492
 
            query.append('is:open')
493
 
        elif status == 'closed':
494
 
            query.append('is:unmerged')
495
 
            # Also use "is:closed" otherwise unmerged open pull requests are
496
 
            # also included.
497
 
            query.append('is:closed')
498
 
        elif status == 'merged':
499
 
            query.append('is:merged')
500
 
        query.append('author:%s' % self._current_user['login'])
501
 
        for issue in self._search_issues(query=' '.join(query)):
502
 
            url = issue['pull_request']['url']
503
 
            response = self._api_request('GET', url)
504
 
            if response.status != 200:
505
 
                raise InvalidHttpResponse(url, response.text)
506
 
            yield GitHubMergeProposal(self, json.loads(response.text))
507
 
 
508
 
    def get_proposal_by_url(self, url):
509
 
        raise UnsupportedHoster(url)
510
 
 
511
 
    def iter_my_forks(self):
512
 
        response = self._api_request('GET', '/user/repos')
513
 
        if response.status != 200:
514
 
            raise InvalidHttpResponse(url, response.text)
515
 
        for project in json.loads(response.text):
516
 
            if not project['fork']:
517
 
                continue
518
 
            yield project['full_name']
519
 
 
520
 
    def delete_project(self, path):
521
 
        path = 'repos/' + path
522
 
        response = self._api_request('DELETE', path)
523
 
        if response.status == 404:
524
 
            raise NoSuchProject(path)
525
 
        if response.status == 204:
526
 
            return
527
 
        if response.status == 200:
528
 
            return json.loads(response.text)
529
 
        raise InvalidHttpResponse(path, response.text)
530
 
 
531
 
 
532
 
class GitHubMergeProposalBuilder(MergeProposalBuilder):
533
 
 
534
 
    def __init__(self, gh, source_branch, target_branch):
535
 
        self.gh = gh
536
 
        self.source_branch = source_branch
537
 
        self.target_branch = target_branch
538
 
        (self.target_owner, self.target_repo_name, self.target_branch_name) = (
539
 
            parse_github_branch_url(self.target_branch))
540
 
        (self.source_owner, self.source_repo_name, self.source_branch_name) = (
541
 
            parse_github_branch_url(self.source_branch))
542
 
 
543
 
    def get_infotext(self):
544
 
        """Determine the initial comment for the merge proposal."""
545
 
        info = []
546
 
        info.append("Merge %s into %s:%s\n" % (
547
 
            self.source_branch_name, self.target_owner,
548
 
            self.target_branch_name))
549
 
        info.append("Source: %s\n" % self.source_branch.user_url)
550
 
        info.append("Target: %s\n" % self.target_branch.user_url)
551
 
        return ''.join(info)
552
 
 
553
 
    def get_initial_body(self):
554
 
        """Get a body for the proposal for the user to modify.
555
 
 
556
 
        :return: a str or None.
557
 
        """
558
 
        return None
559
 
 
560
 
    def create_proposal(self, description, reviewers=None, labels=None,
561
 
                        prerequisite_branch=None, commit_message=None,
562
 
                        work_in_progress=False, allow_collaboration=False):
563
 
        """Perform the submission."""
564
 
        if prerequisite_branch is not None:
565
 
            raise PrerequisiteBranchUnsupported(self)
566
 
        # Note that commit_message is ignored, since github doesn't support it.
567
 
        # TODO(jelmer): Probe for right repo name
568
 
        if self.target_repo_name.endswith('.git'):
569
 
            self.target_repo_name = self.target_repo_name[:-4]
570
 
        # TODO(jelmer): Allow setting title explicitly?
571
 
        title = determine_title(description)
572
 
        target_repo = self.gh._get_repo(
573
 
            self.target_owner, self.target_repo_name)
574
 
        assignees = []
575
 
        if reviewers:
576
 
            assignees = []
577
 
            for reviewer in reviewers:
578
 
                if '@' in reviewer:
579
 
                    user = self.gh._get_user_by_email(reviewer)
580
 
                else:
581
 
                    user = self.gh._get_user(reviewer)
582
 
                assignees.append(user['login'])
583
 
        else:
584
 
            assignees = None
585
 
        try:
586
 
            pull_request = self.gh._create_pull(
587
 
                strip_optional(target_repo['pulls_url']),
588
 
                title=title, body=description,
589
 
                head="%s:%s" % (self.source_owner, self.source_branch_name),
590
 
                base=self.target_branch_name,
591
 
                labels=labels, assignee=assignees,
592
 
                draft=work_in_progress,
593
 
                maintainer_can_modify=allow_collaboration,
594
 
                )
595
 
        except ValidationFailed:
596
 
            raise MergeProposalExists(self.source_branch.user_url)
597
 
        return GitHubMergeProposal(self.gh, pull_request)