Skip to content

Instantly share code, notes, and snippets.

View scherler's full-sized avatar

Thorsten Scherler scherler

View GitHub Profile
@scherler
scherler / gist:9c6d9074662d5a6d7ebab1260d7da38d
Created November 23, 2016 17:28 — forked from lttlrck/gist:9628955
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
@scherler
scherler / ATH
Created September 7, 2016 14:37 — forked from michaelneale/ATH
FROM ubuntu:16.04
RUN apt-get update
RUN apt-get install -y git
RUN apt-get install -y libxml2-utils
RUN apt-get install -y default-jdk
RUN apt-get install -y maven
RUN apt-get install -y firefox=45.0.2+build1-0ubuntu1
RUN apt-get install -y xvfb
RUN apt-get install -y curl wget