This is an automated email from the ASF dual-hosted git repository.
mattmann pushed a change to branch gsoc18
in repository https://gitbox.apache.org/repos/asf/drat.git.
from 681cd84 Merge branch 'gsoc-2018' of
https://github.com/ahmedifhaam/drat into gsoc18
add 77dba9c fixes to gen apache repo script.
add 1357d1d set exec bits, clean up, and move.
add 32a1929 Fix DRAT stats.
add ae659bc DRAT stats compatible file for all Apache Gitbox repos.
add 808d85b Add gen apache repo URL script.
add e27d804 Merge branch 'gsoc18'
No new revisions were added by this update.
Summary of changes:
distribution/src/main/resources/bin/dratseq | 0
distribution/src/main/resources/bin/dratstats.py | 22 +-
.../main/resources/{ => bin}/gen-apache-clones.py | 0
.../src/main/resources/bin/gen-apache-repo-urls.sh | 18 +-
.../main/resources/{ => bin}/gen-apache-repo.py | 3 +-
distribution/src/main/resources/bin/oodt | 0
.../src/main/resources/conf/apache-repos.txt | 838 +++++++++++++++++++++
7 files changed, 861 insertions(+), 20 deletions(-)
mode change 100644 => 100755 distribution/src/main/resources/bin/dratseq
mode change 100644 => 100755 distribution/src/main/resources/bin/dratstats.py
rename distribution/src/main/resources/{ => bin}/gen-apache-clones.py (100%)
copy extensions/src/main/resources/extractors/code/default.cpr.conf =>
distribution/src/main/resources/bin/gen-apache-repo-urls.sh (60%)
rename distribution/src/main/resources/{ => bin}/gen-apache-repo.py (94%)
mode change 100644 => 100755 distribution/src/main/resources/bin/oodt
create mode 100644 distribution/src/main/resources/conf/apache-repos.txt
