Use github protocols setting for push urls
Output error if the disk is full, fixes #1952
Merge remote-tracking branch 'stefk/master'
Code cleanups, enforce url for https, refs #2009