<divclass="choice"><label><inputtype="checkbox"name="enabled"value="1"{% ifrow.git_mirror %} checked{% endif %}> keep a read-only Git mirror of <strong>{{ row.default_bookmark }}</strong></label></div>
50
<pclass="small mute">For tools that only speak Git (CI runners, IDEs): <code>git clone {{ shell.base_url }}{{ repo.url }}.git</code>. Private repositories take a personal access token as the password. Pushing to the mirror is refused.{% if row.git_mirror && !row.git_mirror_state.is_empty() %} Last exported state <code>{{ row.git_mirror_state|short }}</code>.{% endif %}</p>
<labelfor="required_checks">Check names that must pass on a proposal's projected state (comma-separated)</label><inputtype="text"id="required_checks"name="required_checks"value="{{ required_checks }}"placeholder="build, test">
57
<pclass="small mute">Any token with <code>checks:write</code> reports checks with <code>POST {{ shell.base_url }}/api/v1/repos/{{ repo.owner }}/{{ repo.name }}/checks</code>.</p>
<labelfor="hsecret">Secret (signs each delivery)</label><inputtype="text"id="hsecret"name="secret">
73
<labelfor="hevents">Events (<code>*</code>, or a list such as <code>push,proposal,issue</code>)</label><inputtype="text"id="hevents"name="events"value="*">
{% if collaborators.is_empty() %}<pclass="mute small">Nobody beyond the owner{% if !teams.is_empty() %} and the organisation's members{% endif %}.</p>{% else %}
80
<tableclass="small">
81
{% for c in collaborators %}
82
<tr><td>{% if let Some(a) = c.account %}<ahref="/{{ a.username }}">{{ a.username }}</a>{% else if let Some(t) = c.team %}team {{ t.name }}{% endif %}</td><td>{{ c.role }}</td>
83
<td><formclass="tiny"method="post"action="{{ repo.url }}/settings/collaborators"><inputtype="hidden"name="_csrf"value="{{ shell.csrf }}">{% if let Some(a) = c.account %}<inputtype="hidden"name="username"value="{{ a.username }}">{% else if let Some(t) = c.team %}<inputtype="hidden"name="team"value="{{ t.name }}">{% endif %}<buttonname="remove"value="1">remove</button></form></td></tr>
{% if !teams.is_empty() %}<div><labelfor="team">or team</label><selectid="team"name="team"><optionvalue="">—</option>{% for t in teams %}<optionvalue="{{ t.name }}">{{ t.name }}</option>{% endfor %}</select></div>{% endif %}
<pclass="small">The repository moves to the trash and is removed after the retention period. Type <code>{{ repo.owner }}/{{ repo.name }}</code> to confirm.</p>