{% extends "base.html" %} {% block title %}Repositories · GitHub{% endblock %} {% block body %}

GitHub repositories

GitHub settings

Add uses the repository name. Choose a project, locations, and issue import settings later. Ignore hides a repository from this picker until you restore it.

Select rows for bulk actions{% if show_ignored %}{% endif %}
{% for repo in result.repositories %}{% else %}{% endfor %}
Page {{ result.page }} · {{ result.repositories|length }} shown{% if result.ignored_on_page %} · {{ result.ignored_on_page }} ignored{% endif %}. Selection applies to this page.
RepositoryVisibility / branchActions
{{ repo.name }}{{ repo.owner }}{% if repo.registered_id %} · Added{% endif %}{% if repo.ignored %} · Ignored{% endif %}{{ ' · Archived' if repo.archived }}{{ ' · Disabled' if repo.disabled }}{{ repo.visibility }} · {{ repo.default_branch }} {{ repo.visibility }}{{ repo.default_branch }}
{% if repo.registered_id %}Manage{% else %}{% endif %}{% if repo.ignored %}{% elif not repo.registered_id %}{% endif %}{% if not repo.registered_id %}Attach existing{% endif %}
No repositories to show on this page. Try Show ignored, change filters, or browse the next page.

GitHub returns up to 100 repositories per page. Search and bulk selection apply to the current page. Ignored repositories stay hidden across visits and token changes; existing tasks and imports are unaffected.

{% endblock %}