diff options
| author | Harsh Shandilya <me@msfjarvis.dev> | 2021-11-12 21:04:27 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-12 21:04:27 +0530 |
| commit | 3d33b1d83d04867e47cb9058fe23c4adbf3faa56 (patch) | |
| tree | 1cfe5a2f4fd753203fa6dd1992a134831ea89d83 /app/lint.xml | |
| parent | bbadf4a68df41ae91acf161833c4d13e4c77c4eb (diff) | |
Try fixing PSL update workflow (#1538)
* Revert "Directly push PSL updates to develop (#1494)"
This reverts commit a6b8e79d36d8900597aec8dfc2eb57838bb14188.
* github: enable auto merge of PSL pull requests
Diffstat (limited to 'app/lint.xml')
0 files changed, 0 insertions, 0 deletions