Adding dev note about fixing jenkins/git build