update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							assistant: Fix local pairing when ssh pubkey comment contains spaces. 
						
					 
				 
				2015-02-04 14:05:27 -04:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							sync, assistant: Include repository name in head branch commit message. 
						
					 
				 
				2015-02-11 13:34:05 -04:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							webapp: Fix reversion in opening webapp when starting it manually inside a repository. 
						
					 
				 
				2015-02-09 16:34:42 -04:00  
		
			
			
			
			
				
					
						
							
								
								
									
									
									 
							
						
					 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							assistant: Improve sanity check for control characters when pairing. 
						
					 
				 
				2015-02-09 16:34:57 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							import Data.Default in Common 
						
					 
				 
				2015-01-28 16:11:28 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							assistant: Fix local pairing when ssh pubkey comment contains spaces. 
						
					 
				 
				2015-02-04 14:05:27 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							update my email address and homepage url 
						
					 
				 
				2015-01-21 12:50:09 -04:00