5 Commits (246e7832ef6f4b77ae998508d0ba90c82961fd0a)

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