Generate shell reference in the git repo, and allow its push