diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-12 13:59:00 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-03-12 13:59:00 +0100 |
commit | e27b3192fd30191e48e9e2f1c3a231f609596bb3 (patch) | |
tree | 3be2f500eb60faccc8a9a7022592791a7c588ceb /people/joshtriplett.toml | |
parent | a6c88e3b7657cba0a27b068441d9d8e07509f924 (diff) |
readme: document that bors is integrated with the repo
Diffstat (limited to 'people/joshtriplett.toml')
0 files changed, 0 insertions, 0 deletions