/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: Jelmer Vernooij
  • Date: 2020-04-05 19:11:34 UTC
  • mto: (7490.7.16 work)
  • mto: This revision was merged to the branch mainline in revision 7501.
  • Revision ID: jelmer@jelmer.uk-20200405191134-0aebh8ikiwygxma5
Populate the .gitignore file.

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)