Revision 1d9f2031
ID | 1d9f20318e264bc6b0a35bcea4b774dbc9dafa65 |
ci: Allow the use of local repo
Instead of cloning Synnefo from its official repo,
user can choose (using --local-repo option, or by not
setting the synnefo_repo config parameter) to use
his local repo.
Files
- added
- modified
- copied
- renamed
- deleted