src/server/http/templates/patch_diff.html

Ref: Size: 689 B History

{% extends "repo_base.html" %}

{% block title %}{{ title }} — diff — {{ repo_name }} — {{ site_title }}{% endblock %}

{% block content %}
<h2>{{ title }}</h2>
<p>
  <a class="mono" href="/{{ repo_name }}/patches/{{ patch_id }}">{{ short_id }}</a>
  &nbsp; <span class="mono" style="color: #666;">{{ branch }} → {{ base_ref }}</span>
</p>

<hr style="margin: 16px 0;">

{% if diff_files.is_empty() %}
<p style="color: #666;">No diff available for this patch. Its head commit may no longer be in this repository.</p>
{% else %}
<p style="color: #666;">{{ file_count }} file{% if file_count != 1 %}s{% endif %} changed</p>
{% include "diff_files.html" %}
{% endif %}
{% endblock %}