.git .github build docker metrics scripts