suda-morris 58577db086 gh_action: fix error on new pull request ... 1. Disable the broken pull request sync temporarily 2. move python lint from travis to github action		2019-09-17 21:59:31 +08:00
..
workflows	gh_action: fix error on new pull request	2019-09-17 21:59:31 +08:00