remote debugging of jenkins build failures via git pushes