proper git module push/fetch urls for github.
merge 0d1d47b44672c90120a843edae90a859b0f9693a
proper git module push/fetch urls for github. refs #2