git.git update: Customizable push URL and ctags script URL