r26691 - Assume github for git checkout when no URL is given by @gausie

Top