DevOps on Android: From one git push to a Play Store release by Jeremie Martinez