mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-03 21:43:21 +00:00 
			
		
		
		
	We recently changed /developer-community to /development-community. Now that this change is in production, we can also migrate the external links in our ReadTheDocs documentation.