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.
---
 src/roles/vagrant/tasks/main.yml | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 src/roles/vagrant/tasks/main.yml

(limited to 'src/roles/vagrant/tasks')

diff --git a/src/roles/vagrant/tasks/main.yml b/src/roles/vagrant/tasks/main.yml
deleted file mode 100644
index 32e9722..0000000
--- a/src/roles/vagrant/tasks/main.yml
+++ /dev/null
@@ -1,9 +0,0 @@
-- name: Update plugins
-  ansible.builtin.command: vagrant plugin update
-
-- name: Prune invalid entries
-  ansible.builtin.command: vagrant global-status --prune
-  become: true
-
-- name: Clean up boxes
-  ansible.builtin.command: vagrant box prune --force --keep-active-boxes
-- 
cgit v1.2.3