Update git_procedure.txt

make pull and push explicitly origin master to avoid confusion if there are multiple branches in play