| 
					
				 | 
			
			
				@@ -475,12 +475,10 @@ and push the git tag. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				    (That's either "git tag -u <keyid> tor-0.2.x.y-status", then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     "git push origin tag tor-0.2.x.y-status".  To sign the 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     tarball, "gpg -ba <the_tarball>".  Put the files in 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    /src/www-master.torproject.org/htdocs/dist on vescum, then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    sudo -u mirroradm -H /home/mirroradm/bin/trigger-mirrors sudoed 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    ) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    /srv/www-master.torproject.org/htdocs/dist/ on vescum.) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-8) Edit include/versions.wmi to note the new version. Rebuild and push 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-the website. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+8) Edit include/versions.wmi to note the new version. From your website 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+checkout, run ./publish to build and publish the website. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 9) Email Erinn and weasel (cc'ing tor-assistants) that a new tarball 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 is up. This step should probably change to mailing more packagers. 
			 |