gitclone: save revision in an option when doing a git clone with a branch
This way, fetching a new revision would cause a re-install of all dependent parts.
Edited by Jérome Perrin
This way, fetching a new revision would cause a re-install of all dependent parts.