Assume git push simple, ignore session_protected