mirror of
https://github.com/catchorg/Catch2.git
synced 2025-07-13 12:25:32 +02:00

At some point we moved over to catch2:catchorg (notice lowercase `c`) instead of Catch2:catchorg, but we kept uploading the released packages to the upper-cased repository... Time to fix this, and then merge them again.