rafiamafia

Docker:

$ docker images #list all images

$ docker ps #list running containsers

$ docker ps -al -q #list all containers

$ docker container prune ## delete all stopped containers

rafiamafia

Validate your Jenkinsfile

curl -X POST --user username-:accesstoken -F "jenkinsfile=<Jenkinsfile" https://jenkins-host-dns/pipeline-model-converter/validate

Jenkins cleanup

Workspace Plugin found here

rafiamafia

Labels:

How to copy Labels from source repo to dest repo

1. Open the "Labels" tab in your GitHub source repo and paste this in the browser js console:

var labels = [];
[].slice.call(document.querySelectorAll(".js-label-link"))
.forEach(function(element) {