some git cleanup

2 jobs for master in 6 seconds (queued for 18 seconds)