diff options
author | braxtonhall | 2022-10-24 19:23:51 +0000 |
---|---|---|
committer | braxtonhall | 2022-10-24 19:23:51 +0000 |
commit | 8af5f6d9351554b22e75650487d1afe5745df39b (patch) | |
tree | 6c5a67ce4fd50a1e7f20148ab6e7d80d2fba7756 /.gitignore | |
parent | 7cdf8b8dfca8e8513fdbc1ed67a701420d8527cb (diff) |
Make PR workflow a little stricter
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions