Excluding merges, 2 authors have pushed 10 commits to devel and 10 commits to all branches. On devel, 8 files have changed and there have been 40 additions and 152 deletions.