summaryrefslogtreecommitdiff
path: root/ansible/roles/debian-mirror
AgeCommit message (Expand)AuthorFilesLines
2023-10-23debian-mirror role: once a day is enoughLars Wirzenius1-2/+2
2023-10-23debian-mirror: playbookLars Wirzenius1-1/+1
2023-10-23debian-mirror: make disk largerLars Wirzenius2-2/+9
2022-01-07debian-mirror: addLars Wirzenius1-19/+9
2020-07-29fix: make sure cron sends mail for debmirrorLars Wirzenius1-0/+9
2020-07-29feat: make sure there's output for successful run of mirror-debianLars Wirzenius1-0/+2
2020-07-29feat: mirror Contents files for debmirrorLars Wirzenius1-0/+1
2020-07-25fix: cron job for debmirror, againLars Wirzenius1-2/+2
2020-07-25fix: cron job for debmirrorLars Wirzenius1-2/+2
2020-07-25fix: debmirror setup to be automaticLars Wirzenius1-0/+7
2020-07-25drop: jessie from mirror-debianLars Wirzenius1-2/+0
2020-07-24fix: mirror-debian script to mirror more of DebianLars Wirzenius1-0/+8
2020-07-24feat: debmirror playbookLars Wirzenius2-0/+29