Just a collection of more or less useful git scripts.