djoudi mohammed's repositories
docker-git-tip
A handy CLI in Docker container to make optimum use of git tips, see: https://github.com/git-tips/tips
docker-jenkins
Docker official jenkins repo
Language:Shell000
Language:Python000
A handy CLI in Docker container to make optimum use of git tips, see: https://github.com/git-tips/tips
Docker official jenkins repo