Rustc Dev Guide WG 2019-10-01 sync meeting

• Team discussed that watching same video by all members, one video at a time, works well for everyone so far

  • Everyone is taking notes in this paper doc.
  • Discussion was about this lecture https://github.com/rust-lang/rustc-dev-guide/issues/375

• @Santiago Pastorino reported that How to build and run guide page needs help

  • Team might create a new doc for this page to collect ideas.

• @mark-i-m reported that

  • 1. It seems our CI is broken, as this should not be passing: https://travis-ci.com/rust-lang/rustc-dev-guide/builds/129892160
    • @Amanjeev Sethi chose to take up on this task.
  • 2. There are a bunch of broken links in the Chalk chapter
    • @Tshepang Lekhonkhobe chose to take up on this task.