These git commands are now collected under quick tips: /notebook/computing/quick_tips/#updating-the-site-from-git.