projects / platform / upstream / dldt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8502bf) | patch
GitHub CI: Add filter for newly created PRs, and labels map in config.json (#1532)
authorAlexander Zhogov <alexander.zhogov@intel.com>
Fri, 31 Jul 2020 07:43:22 +0000 (10:43 +0300)
committerGitHub <noreply@github.com>
Fri, 31 Jul 2020 07:43:22 +0000 (10:43 +0300)
commitc5bac5a1b9e31cc8443372b943218af0e1970e98
tree8e5f86dbb679ad0eee32408f3de137004da6667dtree | snapshot
parentd8502bf7d3ef06be7b2adc92af18b4d90d86623ccommit | diff
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
.github/org_control/check_pr.py diff | blob | history
.github/org_control/config.json diff | blob | history
Domain: Machine Learning / ML Framework;