From c6e9d763d673816251d37c03eb19318c7bd8a8a6 Mon Sep 17 00:00:00 2001
From: Elias Fleckenstein <eliasfleckenstein@web.de>
Date: Wed, 3 Nov 2021 21:09:57 +0100
Subject: [PATCH] repo -> repository (in release process documentation)

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 8ab8ee8185..2b1f16ad8f 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -378,7 +378,7 @@ technical guidelines and issue/PR delegation
 * Update the version number in README.md
 * Use `git tag <version number>` to tag the latest commit with the
 version number
-* Push to repo (don't forget `--tags`!)
+* Push to repository (don't forget `--tags`!)
 * Update ContentDB
 (https://content.minetest.net/packages/Wuzzy/mineclone2/)
 * Update first post in forum thread