The second release of this month!
This time due to GitHub stopping with anonymous
git protocol URLs and moving to
This is a maintenance release.
Main changes are:
- Fix an issue where git protocol is not supported anymore by GitHub
- use https to access github after disabling git protocol (#2921)