diff options
| author | Harsh Shandilya <me@msfjarvis.dev> | 2020-10-02 13:12:14 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-02 13:12:14 +0000 |
| commit | 9dc56214b9e24b3cba341988bd547e8ba9f7c624 (patch) | |
| tree | 889fb59a18027d84e3ccc30d3b7f1dbabc15420a /.idea | |
| parent | cf03c554785ee822be3408edcfb81fa4cf03d0e5 (diff) | |
github: switch PR workflow from an allowlist to a blocklist
This is going to be less work to maintain going forward since we won't need to
change it every time we include a new subproject.
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to '.idea')
0 files changed, 0 insertions, 0 deletions