(No) influence of continuous integration on the commit activity in GitHub projects. - Sebastian Baltes; Jascha Knack; Daniel Anastasiou; Ralf Tymann; Stephan Diehl 001 (SWAN@ESEC/SIGSOFT FSE, 2018)