Seems we are having problems with our Git repo, I couldn’t push my last changes as the push is rejected cause some remote pre-commit-hooks are failing. Executing “git push –v” however tells me that the repo seems to be out of sync and that I should contact infra … I already did that. Let’s hope they fix things fast ;-)
Chris
