platform_external_opencensus-java/check-git-history.py, branch master

platform_external_opencensus-java/check-git-history.py, branch master Unnamed repository; edit this file 'description' to name the repository.