Skip to content

Instantly share code, notes, and snippets.

View gtenagli's full-sized avatar

Giacomo Tenaglia gtenagli

View GitHub Profile
@claudioc
claudioc / gist:c0b7b1bf3eab18457e36
Last active December 25, 2024 11:20
Safely delete a branch, remotely and locally. I use it as ~/bin/git-purge and use it with `git purge <branch-name>`
#!/bin/bash
if [ "${1}" = "" ]; then
echo "Please specify a branch name to delete"
exit 1
fi
current=$(git symbolic-ref HEAD | sed 's/refs\/heads\///')
if [ "master" != "${current}" ]; then
echo Please move to the master branch first
@jallspaw
jallspaw / gist:2041431
Created March 15, 2012 02:46
Things that don't go away
- Metrics collection
- PaaS/IaaS evaluation/investigation
- Automation (auto-build, auto-recovery)
- Fault tolerance
- Availability
- Monitoring
- Performance
- Capex and Opex forecasting
- Outage response