[Savannah-hackers-public] Certificate for git.savannah.gnu.org expired

[Ford, Mike]

The certificate for git.savannah.gnu.org expired 20 days ago as of today.