Steve Howell
								
							 
						 | 
						
							
							
							
							
								
							
							
								2827b59b8b
								
							
						 | 
						
							
							
								
								gitignore: Allow "lib" directory.
							
							
							
							
							
							
							
							We use "lib" as a common abbreviation in our own source. 
							
						 | 
						
							2018-01-02 16:03:24 -05:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									fredfishgames
								
							 
						 | 
						
							
							
							
							
								
							
							
								b157b817ae
								
							
						 | 
						
							
							
								
								interactive bots: Improve googlesearch bot.
							
							
							
							
							
						 | 
						
							2017-12-03 14:03:47 -08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									derAnfaenger
								
							 
						 | 
						
							
							
							
							
								
							
							
								035f0c3268
								
							
						 | 
						
							
							
								
								tools: Add mypy runner.
							
							
							
							
							
							
							
							Unless otherwise specified, `tools/run-mypy` will right now only
check annotations in core files of the `zulip` package. 
							
						 | 
						
							2017-09-15 13:24:20 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									derAnfaenger
								
							 
						 | 
						
							
							
							
							
								
							
							
								c383fea18a
								
							
						 | 
						
							
							
								
								.gitignore: Add bot configuration files.
							
							
							
							
							
						 | 
						
							2017-09-07 10:47:41 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									derAnfaenger
								
							 
						 | 
						
							
							
							
							
								
							
							
								5671dba71e
								
							
						 | 
						
							
							
								
								provision: Add venvs to .gitignore.
							
							
							
							
							
						 | 
						
							2017-08-25 09:31:01 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									derAnfaenger
								
							 
						 | 
						
							
							
							
							
								
							
							
								b3fc7edcf7
								
							
						 | 
						
							
							
								
								git: Ignore automatically generated MANIFEST.in.
							
							
							
							
							
						 | 
						
							2017-08-24 10:01:53 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rohitt Vashishtha
								
							 
						 | 
						
							
							
							
							
								
							
							
								4cd580d4fe
								
							
						 | 
						
							
							
								
								tools: Diff with requirements.txt in tools/provision.
							
							
							
							
							
						 | 
						
							2017-08-17 10:43:50 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eeshan Garg
								
							 
						 | 
						
							
							
							
							
								
							
							
								f9655266df
								
							
						 | 
						
							
							
								
								python-zulip-api: Add tools/provision for setting up dev env.
							
							
							
							
							
						 | 
						
							2017-08-17 10:39:00 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eeshan Garg
								
							 
						 | 
						
							
							
							
							
								
							
							
								879f44ab3a
								
							
						 | 
						
							
							
								
								bots: Move all bots and the bots API to separate package.
							
							
							
							
							
						 | 
						
							2017-07-18 02:20:27 -02:30 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Rohitt Vashishtha
								
							 
						 | 
						
							
							
							
							
								
							
							
								71b43e4d3e
								
							
						 | 
						
							
							
								
								tools: Add .gitignore.
							
							
							
							
							
						 | 
						
							2017-07-06 13:09:08 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |