Enable manual mirror push even if mirror is inactive
Replace 'pipe_sudo' calls by 'sudo_pipe' calls (doesn't need external script to pipe data)
No more need of ssh wrapper script to copy hook files through sudo
No more need of git wrapper script to get content from repositories
No more need of scripts at all :)
Update .gitignore
Merge branch 'devel' into feat_protected_branches