Fix #799

Created by: Tirokk

Authored by roschaefer Jun 12, 2019 Merged Jun 13, 2019

---

For target production the badges were simply not copied. It also explains why we never saw that error in development. For development we use docker build target build-and-test.

FYI: @ulfgebhardt @Tirokk @ogerly

🍰 Pullrequest

Issues

• fix #799 (closed)

Todo

• None