Hello, There are spurious CI failures (SSL certificate issue in test_httplib). Therefore the "Squash and merge" button is greyed out. How should I merge? Using the command-line instructions from Github? Regards Antoine.