NextERP/runbot
5
0
Fork 0
mirror of https://github.com/odoo/runbot.git synced 2025-03-27 13:25:47 +07:00
Code Issues Actions Packages Projects Releases Wiki Activity

Use git API to find base branch name for PRs when looking for common branch names in extra deps

Browse Source
This commit is contained in:
Sandy Carter 2014-07-09 21:28:26 -04:00
parent 91beb61727
commit 5e25a8aeb2
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
runbot/runbot.py
View File

@ -533,6 +533,11 @@ class runbot_build(osv.osv):
for build in self.browse(cr, uid, ids, context=context): for build in self.browse(cr, uid, ids, context=context):
branch, repo = build.branch_id, build.repo_id branch, repo = build.branch_id, build.repo_id
name = branch.branch_name name = branch.branch_name
# Use github API to find name of branch on which the PR is made
if repo.token and name.startswith('refs/pull/'):
pull_number = name[len('refs/pull/'):]
pr = repo.github('/repos/:owner/:repo/pulls/%s' % pull_number)
name = 'refs/heads/' + pr['base']['ref']
# Find common branch names between repo and target repo # Find common branch names between repo and target repo
branch_ids = branch_pool.search(cr, uid, [('repo_id.id', '=', repo.id)]) branch_ids = branch_pool.search(cr, uid, [('repo_id.id', '=', repo.id)])
target_ids = branch_pool.search(cr, uid, [('repo_id.id', '=', target_repo_id)]) target_ids = branch_pool.search(cr, uid, [('repo_id.id', '=', target_repo_id)])