More changes to git ci script to enable pull requests