* do not clone again the repository anymore * do not require to choose the git branch * should work properly with pull requests
2.6 KiB
2.6 KiB
* do not clone again the repository anymore * do not require to choose the git branch * should work properly with pull requests