{% extends "layout_repo.html" %} {% block page_title %}{{ pr.title }} · Pull request #{{ pr.number }} · {% endblock %} {% block content %} {% let base = r.base() %} {% let purl = r.pull_url(pr.number) %}
git fetch origin
git checkout {{ pr.head_branch }}
git merge origin/{{ pr.base_branch }}
# fix conflicts, then
git commit
git push origin {{ pr.head_branch }}
{% else %}
Only people with write access to this repository can merge pull requests.
{% endif %} {% endif %}No commits to show.
The changes for this pull request are no longer available.
No description provided.
{% else %}{{ body_html|safe }}{% endif %}