Ref #2699
the double dot gets only commits not in the left side of the double dot. The right side assumes HEAD. This will allow us to fetch the correct list of new or modified files in the current branch.
Transfer Travis jobs to CircleCI