4 Commits

Author	SHA1	Message	Date
Vishnu Ks	c3aa7909ce	docs: Update docs/git/ directory to reflect CI changes. ... This isn't complete, in that we still need to rename the ReadTheDocs articles (e.g.).	2018-12-11 12:46:18 -08:00
Tim Abbott	30e5b5fe55	docs: Increase highlighting of our linters in documentation.	2018-11-29 14:17:13 -08:00
Rohitt Vashishtha	cd83b94f3d	git-docs: Make links to Zulip's git-tools at relevant places. ... Tweaked by tabbott to fix a few issues with the text found while looking at this.	2017-11-26 11:14:16 -08:00
Harshit Bansal	fa3602b61f	docs: Split 'git-guide.md`. ... This should make our Git documentation more readable and less intimidating.	2017-11-23 16:04:18 -08:00