maintenance, conversion to Git, removal of openpop

2019-08-05 17:08:02 +02:00
parent aedb483602
commit b5ee111162
218 changed files with 685 additions and 510 deletions
--- a/tools/git_statistics.py
+++ b/tools/git_statistics.py
@@ -0,0 +1,9 @@
+"""
+takes all gits that we have in the list and checks the master branch out, then collects some statistics:
+- number of distinct comitters
+- list of commit dates
+- number of commits
+- language detection and lines of code counting on final state
+
+uses git log --format="%an, %at, %cn, %ct" --all ti get commits, committers and times (as unix time stamp)
+"""