Age | Commit message (Expand) | Author |
---|---|---|
2019-07-13 | add github ids to the people tomls | Pietro Albini |
2019-06-21 | manage miri review permissions: t-compiler and RalfJung | Ralf Jung |
2019-03-10 | import bors permissions | Pietro Albini |
2019-02-06 | add permissions support and perf permissions | Pietro Albini |