|  | @@ -0,0 +1,37 @@
 | 
	
		
			
				|  |  | +before_script:
 | 
	
		
			
				|  |  | +  - "apt-get update -qq"
 | 
	
		
			
				|  |  | +  - "apt-get upgrade -y"
 | 
	
		
			
				|  |  | +  - "apt-get install -y --fix-missing git"
 | 
	
		
			
				|  |  | +  # Install ssh-agent if not already installed, it is required by Docker.
 | 
	
		
			
				|  |  | +  # (change apt-get to yum if you use a CentOS-based image)
 | 
	
		
			
				|  |  | +  - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )'
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +  # Run ssh-agent (inside the build environment)
 | 
	
		
			
				|  |  | +  - eval $(ssh-agent -s)
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +  # Add the SSH key stored in SSH_PRIVATE_KEY variable to the agent store
 | 
	
		
			
				|  |  | +  - ssh-add <(echo "$DEPLOY_KEY")
 | 
	
		
			
				|  |  | +
 | 
	
		
			
				|  |  | +  # For Docker builds disable host key checking. Be aware that by adding that
 | 
	
		
			
				|  |  | +  # you are suspectible to man-in-the-middle attacks.
 | 
	
		
			
				|  |  | +  # WARNING: Use this only with the Docker executor, if you use it with shell
 | 
	
		
			
				|  |  | +  # you will overwrite your user's SSH config.
 | 
	
		
			
				|  |  | +  - mkdir -p ~/.ssh
 | 
	
		
			
				|  |  | +  - '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
 | 
	
		
			
				|  |  | +  # In order to properly check the server's host key, assuming you created the
 | 
	
		
			
				|  |  | +  # SSH_SERVER_HOSTKEYS variable previously, uncomment the following two lines
 | 
	
		
			
				|  |  | +  # instead.
 | 
	
		
			
				|  |  | +  - mkdir -p ~/.ssh
 | 
	
		
			
				|  |  | +  - '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
 | 
	
		
			
				|  |  | + 
 | 
	
		
			
				|  |  | +update:
 | 
	
		
			
				|  |  | + script: 
 | 
	
		
			
				|  |  | +   - echo "merging from torgit"
 | 
	
		
			
				|  |  | +   - git clone git@oniongit.eu:hiro/tor.git
 | 
	
		
			
				|  |  | +   - "cd tor"
 | 
	
		
			
				|  |  | +   - git remote add upstream https://git.torproject.org/tor.git
 | 
	
		
			
				|  |  | +   - git checkout master
 | 
	
		
			
				|  |  | +   - git config --global user.email "labadmin@oniongit.eu"
 | 
	
		
			
				|  |  | +   - git config --global user.name "gitadmin"
 | 
	
		
			
				|  |  | +   - git pull -Xtheirs upstream master
 | 
	
		
			
				|  |  | +   - git push origin master
 |