Make sync-all handle all github protocols correctly

This fixes #8824.