]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commit
projects / ceph-ci.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 10dfa31 6d1cfe4)
Merge pull request #28264 from rhcs-dashboard/mypy-config-to-file
authorSebastian Wagner <sebastian.wagner@suse.com>
Tue, 18 Jun 2019 07:09:06 +0000 (09:09 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Jun 2019 07:09:06 +0000 (09:09 +0200)
commitee12c0c88763f1c1d8d577e652d65fab29345dc0
treeaddc928bc9927041e8764764c4f75cfa68e043c8tree | snapshot
parent10dfa31e23366db41b147cc15f76793eea02efc7commit | diff
parent6d1cfe47d530670aa58f8fe3dc52c517a23757a0commit | diff
Merge pull request #28264 from rhcs-dashboard/mypy-config-to-file

src/script: extract mypy config to mypy.ini

Reviewed-by: Ernesto Puerta <epuertat@redhat.com>
Reviewed-by: Sebastian Wagner <sebastian.wagner@suse.com>
src/script/run_mypy.sh diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.