Travis: Initiating build for commit 'ebfdc858503e1cd7d1dcb02f0ab248eb83cf0e62': perform a git pull instead of checkout HEAD