ᴜɴᴋɴᴡᴏɴ a249d9f4ae docs/admin: update steps of adding repositories (#8293) ... * docs/admin: update steps of adding repositories * Address feedback		2020-02-07 14:39:02 +08:00
..
_resources	docs: add site-admin capabilities (#8285)	2020-02-06 14:09:27 +08:00
admin	docs/admin: update steps of adding repositories (#8293)	2020-02-07 14:39:02 +08:00
adopt	move product comparison to about.sourcegraph.com (#6654)	2019-11-17 01:05:13 -08:00
api	doc: permissions api (#7703)	2020-01-13 17:22:21 -08:00
dev	Add life of a ping document. (#8298)	2020-02-06 16:34:21 -06:00
extensions	Fixed broken docs links plus a few syntax improvements (#6304)	2019-10-31 15:32:01 -07:00
integration	Fixed doc page hierarchy, removing inline h1 headings (#8170)	2020-02-03 11:39:27 +10:00
user	docs: update search documentation (#8261)	2020-02-04 21:33:56 -07:00
docsite.json	add Administration Less-Frequently-Asked Questions page (#6653)	2019-11-16 17:09:50 -08:00
index.md	Update latest release to 3.12.5 (#8126)	2020-01-29 16:24:21 -06:00