diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-24 16:18:13 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-24 16:18:13 +0100 |
| commit | 7e61f4c59ee5d0b960c5fd5221b7a129afc89133 (patch) | |
| tree | 289255852b9feaad957d2c281700eefe5e9e4a44 /.gitignore | |
| parent | e9bdb05e9676e85bdd8fa5008e3ada3812b36fd9 (diff) | |
| parent | 6937bcb67d825938d862cd1792af02e00e1d1a06 (diff) | |
| parent | 089ea36b2ecf5d7267f8a671c077357aad50b8e2 (diff) | |
Merge #5035 #5037
5035: Less error-prone naming r=matklad a=matklad
bors r+
🤖
5037: Don't watch dirs if not asked to r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>