Discussed here: [#general > Preferred way of "sync bot"](https://servo.zulipchat.com/#narrow/channel/263398-general/topic/Preferred.20way.20of.20.22sync.20bot.22/with/577182803) Extract steps and add to guide.
Discussed here: #general > Preferred way of "sync bot"
Extract steps and add to guide.