Release 0.65.0

[Marc Worrell]

The second release this month.

GitHub stopped handling anoynmous git urls, so we had to move to https.

Thanks to Marco Wessel for the prompt merge request!

Main changes are:

 * Fix an issue where git protocol is not supported anymore by GitHub

Commits since 0.64.0

Marco (1):

 * use https to access github after disabling git protocol (#2921)