{% extends "base.html" %} {% block title %}Delete Mirror — {{ project.name }} — Fossilrepo{% endblock %} {% block content %}

{{ project.name }}

{% include "fossil/_project_nav.html" %}

Delete Git Mirror

Are you sure you want to remove the mirror to {{ mirror.git_remote_url }}? This action uses soft delete — the record will be marked as deleted but can be recovered.

Direction
{{ mirror.get_sync_direction_display }}
Branch mapping
{{ mirror.fossil_branch }} → {{ mirror.git_branch }}
Total syncs
{{ mirror.total_syncs }}
{% csrf_token %} Cancel
{% endblock %}