Make sync-all handle all github protocols correctly

Authored by nomeata on Mar 7 2014, 9:50 AM.

Description

Make sync-all handle all github protocols correctly

This fixes Trac #8824.

Details

Committed
nomeataMar 7 2014, 9:50 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF0014fb3dbf4a: Run testcase for 8124 only with threaded ways
Branches
Unknown
Tags
Unknown