5 Commits (c4c620adcd0dadf8f3f0d6aa331780291b5bdacd)

Author SHA1 Message Date
Adriaan Knapen 6cb98eda15 git: add missing grev alias to README (#7984) 7 years ago
Marc Cornellà 4ad4a81657 git: clean up plugin file and delete current_repository function 7 years ago
Marc Cornellà f8d5fdce3a git: move documentation from wiki to README 7 years ago
ncanceill 5b75cc7880 Many updates to git plugin (see #2790) 11 years ago
Gaetan Semet 46f0d8dba9 Improvement in the git plugin 13 years ago