Some of our repositories live in GitHub, or are mirrored there, because either the repository is just using non-conform infrastructure (rM manticore), is a third party piece of software ({rR}), or is mirrored there (rD docs for example).

Document the expectations of contributors working with such repositories.