Skip to content

Instantly share code, notes, and snippets.

View stefanbuck's full-sized avatar

Stefan Buck stefanbuck

View GitHub Profile

Octoherd script to help with the recent CircleCI’s security breach by removing deploy keys from your repos.

No warranty, use at your own risk!


Run the script on a single repo first. Octoherd will prompt to confim the deletion request.

const alphabet = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ';
const input = [
"I really",
["and I", "an it's"],
m1: "love",
m2: "!namuh retteb a"
stefanbuck /
Created October 21, 2021 07:32
GitHub shell options
#!/bin/bash --noprofile --norc -e -o pipefail {0}
stefanbuck / prepare-commit-msg
Last active June 9, 2023 21:09
Ticket number git hook
#!/usr/bin/env bash
# Authors:
# Stefan Buck (
# Thomas Ruoff (
# Description:
# Are you still prefixing your commits with a ticket number manually? You will love this script!
# This is a git hook script that will automatically prefix your commit messages with a ticket
#!/usr/bin/env ruby
require 'open-uri'
require 'pathname'
require 'json'
def strip_hash(f)
ext = f.extname
if ext.include?("?")
stefanbuck /
Created December 19, 2018 18:51 — forked from Chaser324/
GitHub Standard Fork & Pull Request Workflow

Whether you're trying to give back to the open source community or collaborating on your own projects, knowing how to properly fork and generate pull requests is essential. Unfortunately, it's quite easy to make mistakes or not know what you should do when you're initially learning the process. I know that I certainly had considerable initial trouble with it, and I found a lot of the information on GitHub and around the internet to be rather piecemeal and incomplete - part of the process described here, another there, common hangups in a different place, and so on.

In an attempt to coallate this information for myself and others, this short tutorial is what I've found to be fairly standard procedure for creating a fork, doing your work, issuing a pull request, and merging that pull request back into the original project.

Creating a Fork

Just head over to the GitHub page and click the "Fork" button. It's just that simple. Once you've done that, you can use your favorite git client to clone your repo or j

stefanbuck /
Created February 7, 2018 07:52
Returns the health status for the given docker image
#!/usr/bin/env bash
# Grep container id
CONTAINER_ID=$(docker ps -qf "name=$IMAGE_NAME")
if [ "$CONTAINER_ID" ] ; then
# Get the health status
STATUS=$(docker inspect --format='{{json .State.Health.Status}}' $CONTAINER_ID);
<com.sonyericsson.jenkins.plugins.bfa.model.ScannerJobProperty plugin="build-failure-analyzer@1.19.0">
<com.chikli.hudson.plugin.naginator.NaginatorOptOutProperty plugin="naginator@1.17.2">
const inquirerList = require('inquirer/lib/prompts/list.js');
const runAsync = require('run-async');
const Rx = require('rx');
function listItemRender(name, value, isSelected=false, isDisabled=false) {
const selected = isSelected ? 'checked ' : '';
const disabled = isDisabled ? 'disabled ' : '';
return `<br /><label>
<input ${disabled}${selected} value="${value}" name="aaa" type="radio"/> ${name}