Is there a good reason for this? Otherwise we should maybe change that when someone pushes to the e.g. dev branch.