Since many months the URL to our Github project has changed. Apparently we forgot to reflect this in all the places where we mentioned it. This PR tries to fix this. 😅
As these are no API changes, this is a fast-track review period of just one day as per our committer rules.
Note: This PR will fix the master branch. I assume your votes as valid for any branch, and will cherry-pick this fix into the release-4.0 and release-3.1.x branches subsequently without filing a new PR.
Since many months the URL to our Github project has changed. Apparently we forgot to reflect this in all the places where we mentioned it. This PR tries to fix this. 😅
As these are no API changes, this is a fast-track review period of just one day as per our committer rules.
Note: This PR will fix the master branch. I assume your votes as valid for any branch, and will cherry-pick this fix into the release-4.0 and release-3.1.x branches subsequently without filing a new PR.