From 07d31ad20e0af062947f1f68a7c22df7cbf09aaf Mon Sep 17 00:00:00 2001
From: Jesse Alama <jessealama@users.noreply.github.com>
Date: Tue, 7 Jan 2025 19:35:32 +0100
Subject: [PATCH] Add Leaning In! 2025 (#564)

---
 data/events.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/data/events.yaml b/data/events.yaml
index 14f6950a6..75af14639 100644
--- a/data/events.yaml
+++ b/data/events.yaml
@@ -347,3 +347,10 @@
   url: https://leanprover-community.github.io/lt2025/
   start_date: January 14 2025
   end_date: January 17 2025
+
+- title: "Leaning In! 2025"
+  location: Berlin, DE
+  type: workshop
+  url: https://leaning.in
+  start_date: March 13 2025
+  end_date: March 13 2025