glennblock

git fetch upstream
git reset --hard upstream/master

ramnathv

Creating a clean gh-pages branch

This is the sequence of steps to follow to create a root gh-pages branch. It is based on a question at [SO]

cd /path/to/repo-name
git symbolic-ref HEAD refs/heads/gh-pages
rm .git/index
git clean -fdx
echo "My GitHub Page" > index.html

bodokaiser

build:
  $(CC) -o queue.o queue.c

m-x-k

/*
 *  Displays input dropdown select containing docker image tags
 *  Manage Jenkins->Script Approval (required)
 */

node {
    stage('chooseDockerTags') {
        def image = "IMAGE"
        def url = "https://LOCAL-DOCKER-REG:5000/v2/${image}/tags/list"
        def list = getDockerImageTags(url)

mcastilho

.PHONY: all tags clean test build install generate image release

REGISTRY_REPO = <..redacted..>

OK_COLOR=\033[32;01m
NO_COLOR=\033[0m
ERROR_COLOR=\033[31;01m
WARN_COLOR=\033[33;01m

# Build Flags

Romeh

pipeline {
    // run on jenkins nodes tha has java 8 label
    agent { label 'java8' }
    // global env variables
    environment {
        EMAIL_RECIPIENTS = '[email protected]'
    }
    stages {

        stage('Build with unit testing') {