diff options
author | June McEnroe <june@causal.agency> | 2021-02-04 22:10:14 +0000 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2022-12-19 15:13:24 +0000 |
commit | 3295155a0caf68d33fecb15f499d205c8e87cd41 (patch) | |
tree | 30e0ba8a04a0f119880596386c00daa7df3ba574 /robots.txt | |
parent | e32f8416e87503aef2cd2698e15f3dc5e8c40d7e (diff) | |
download | cgit-3295155a0caf68d33fecb15f499d205c8e87cd41.tar cgit-3295155a0caf68d33fecb15f499d205c8e87cd41.tar.gz cgit-3295155a0caf68d33fecb15f499d205c8e87cd41.zip |
ui-shared: use owner-filter for repo page headers
Previously it was only used if owners were displayed on the index.
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'robots.txt')
0 files changed, 0 insertions, 0 deletions