Update CONTRIBUTING.md (#6615)

I keep forgetting this so I'm making the warning bigger
This commit is contained in:
ebbit1q 2026-02-21 21:38:05 +01:00 committed by GitHub
parent 99424e460b
commit 485e4d56aa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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)