add gitremote pull trigger

This commit is contained in:
2022-10-15 02:24:26 +03:00
parent fc0d8387df
commit 4ae76bc3dd
55 changed files with 399 additions and 122 deletions

View File

@ -82,7 +82,8 @@ disable=raw-checker-failed,
fixme,
too-many-arguments,
duplicate-code,
cyclic-import
cyclic-import,
confusing-with-statement,
# Enable the message, report, category or checker with the given id(s). You can