Change in jenkins[master]: Change the way poll script reads git push map file