Insert missing reference to docs repo.
It seems like the header here had accidentally been deleted, or
similarly just hadn't been included at all.
commit73fdc0b3973e1de45535f37150a2e2d94a5ef49e
authorJared Tobin <jared@jtobin.io>
dateMon 15 Jul 2019, 11:12 (7 years ago)
parentd88c1d1
concepts/source-code-overview.md+1
@@ -15,6 +15,7 @@ This is the main Urbit repo. It contains the Urbit interpreter (all of the C cod
1515
1616It also contains Arvo, the Urbit operating system (written in Hoon), as a subtree. When you boot your Urbit, you get this over the air. The source code is kept here, and you'll need it if you want to do any heavy development work.
1717
18+## [`urbit/docs`](https://github.com/urbit/docs)
1819
1920Interesting in working on Urbit documentation? This repository is where all the collaboration happens. The docs themselves are just markdown files hosted on a live ship.
2021