git-pull.php, debugging and additional controls.
https url updates.
Merger git_pull to master