From 485e4d56aa993193479500ee27d26ea2599079a6 Mon Sep 17 00:00:00 2001 From: ebbit1q Date: Sat, 21 Feb 2026 21:38:05 +0100 Subject: [PATCH] Update CONTRIBUTING.md (#6615) I keep forgetting this so I'm making the warning bigger --- .github/CONTRIBUTING.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index ffde66d7b..b293b3937 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -461,7 +461,11 @@ revoke the tag by doing the following: git push --delete upstream $TAG_NAME git tag -d $TAG_NAME ``` -You can also do this on GitHub, you'll also want to delete the false release. +You can also do this on GitHub. + +> [!NOTE] +> If you want to push a new release to replace it immediately with the same +> name you have to delete the automatically created release first! In the first lines of [CMakeLists.txt]( https://github.com/Cockatrice/Cockatrice/blob/master/CMakeLists.txt)