1. 1e9eff6 Change in git_functions to fetch instead of pull by garciadeblas · 9 years ago
  2. e460692 Minor bug fixed in git_functions: the branch origin/HEAD should not be created by garciadeblas · 9 years ago
  3. 35d6f24 refactored the git checkout code by Jeremy Mordkoff · 10 years ago