Update GITHUB_URL to use ssh

[dsarmany]

Description

Contributor Declaration

By opening this pull request, I affirm the following:

• All authors agree to the Contributor License Agreement.
• The code follows the project's coding standards.
• I have performed self-review and added comments where needed.
• I have added or updated tests to verify that my changes are effective and functional.
• I have run all existing tests and confirmed they pass.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 40.66%. Comparing base (ce56b30) to head (57dad59).

Additional details and impacted files

@@           Coverage Diff            @@
##           develop      #44   +/-   ##
========================================
  Coverage    40.66%   40.66%           
========================================
  Files           49       49           
  Lines        10156    10156           
========================================
  Hits          4130     4130           
  Misses        6026     6026           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[wdeconinck]

Note it is already possible to change the URL used for GitHub via environment variable:

export GITHUB=git@github.com: