add procedure in git.html