diff options
| author | Marie <marie@kaifa.ch> | 2023-09-28 16:36:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-28 16:36:41 +0200 |
| commit | e8b79271c6fbc342943670c6710d9fb5a062f497 (patch) | |
| tree | d0897e1022a498544d3c1e8d03a0a34e7bc1c4b9 /scripts/dev.mjs | |
| parent | Update README.md (diff) | |
| download | sharkey-e8b79271c6fbc342943670c6710d9fb5a062f497.tar.gz sharkey-e8b79271c6fbc342943670c6710d9fb5a062f497.tar.bz2 sharkey-e8b79271c6fbc342943670c6710d9fb5a062f497.zip | |
ci: make lint ignore PRs from weblate
Diffstat (limited to 'scripts/dev.mjs')
0 files changed, 0 insertions, 0 deletions