# Keep personal repositories and the rest of the Gitea site indexable while
# excluding third-party mirrors and expensive comparison pages.
User-agent: *
Allow: /feedc0de/

# Comparison pages are especially expensive for Gitea to generate, including
# comparisons below the otherwise allowed feedc0de owner.
Disallow: /*/*/compare/

# Current owners whose public repositories are third-party mirrors.
Disallow: /Bodmer/
Disallow: /DigiLive/
# EFeru is intentionally excluded as a complete owner subtree.
Disallow: /EFeru
Disallow: /Ferdi265/
Disallow: /HowardHinnant/
Disallow: /Kistler-Group/
Disallow: /Links2004/
Disallow: /LogBlock/
Disallow: /Makuna/
Disallow: /PaulStoffregen/
Disallow: /PostgreSQL-For-Wordpress/
Disallow: /TartanLlama/
Disallow: /TuxCoding/
Disallow: /ValveSoftware/
Disallow: /actions/
Disallow: /adafruit/
Disallow: /airgradienthq/
Disallow: /arminwinkt/
Disallow: /bblanchon/
Disallow: /bbulkow/
Disallow: /boostorg/
Disallow: /catchorg/
Disallow: /docker/
Disallow: /dolphin-emu/
Disallow: /espressif/
Disallow: /fmtlib/
Disallow: /getsentry/
Disallow: /h2zero/
Disallow: /hilch/
Disallow: /home-assistant/
Disallow: /jbagg/
Disallow: /khoih-prog/
Disallow: /lucianoforks/
Disallow: /lucysrausch/
Disallow: /me-no-dev/
Disallow: /microsoft/
Disallow: /moritzsternemann/
Disallow: /mpusz/
Disallow: /multimediamike/
Disallow: /opentrafficmap/
Disallow: /papnkukn/
Disallow: /platformio/
Disallow: /qt-creator/
Disallow: /ramottamado/
Disallow: /romixlab/
Disallow: /rook/
Disallow: /semaf/
Disallow: /smarty-php/
Disallow: /vikt0rm/
Disallow: /wolfSSL/
Disallow: /yath/
