From f7178aedfd35c95c43c6a811775cb51e40ffd925 Mon Sep 17 00:00:00 2001
From: Egor Tensin <egor@tensin.name>
Date: Tue, 9 Sep 2025 11:12:22 +0200
Subject: repurpose the repo

It's no longer a stupid, archived Ansible project; I'm gonna use it to
run GitHub Actions to do maintenance on my stuff.
---
 ansible.cfg | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 ansible.cfg

(limited to 'ansible.cfg')

diff --git a/ansible.cfg b/ansible.cfg
deleted file mode 100644
index ee26434..0000000
--- a/ansible.cfg
+++ /dev/null
@@ -1,12 +0,0 @@
-[defaults]
-# Readable output:
-stdout_callback = yaml
-stderr_callback = yaml
-
-[ssh_connection]
-# My connections are too flaky:
-retries = 2
-# I cannot believe ServerAlive* are not set by Ansible by default:
-#     https://docs.ansible.com/ansible/latest/reference_appendices/faq.html#how-do-i-get-ansible-to-notice-a-dead-target-in-a-timely-manner
-# Also, forward the SSH agent.
-ssh_extra_args = -o ServerAliveInterval=15 -o ServerAliveCountMax=3 -o ForwardAgent=yes -o StrictHostKeyChecking=no
-- 
cgit v1.2.3