Alexander Zhogov c5bac5a1b9 GitHub CI: Add filter for newly created PRs, and labels map in config.json (#1532) ...

* Add filter for newly created PRs, and labels map in config.json

* Fix label name

2020-07-31 10:43:22 +03:00

..

__init__.py

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00

check_org.py

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00

check_pr.py

GitHub CI: Add filter for newly created PRs, and labels map in config.json (#1532)

2020-07-31 10:43:22 +03:00

config.json

GitHub CI: Add filter for newly created PRs, and labels map in config.json (#1532)

2020-07-31 10:43:22 +03:00

configs.py

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00

dev_emails-test.txt

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00

github_api.py

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00

requirements_dev.txt

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00

requirements.txt

GitHub CI: Add Python scripts for controlling organization (#1437)

2020-07-23 17:29:18 +03:00