Thanks! Makes no sense for me, the time for pushing live is wasted. Mostly I don't need the dev site anymore anyways. Especially if you collect any database data you cannot keep developing seperately unless you successfully use something like https://wpmerge.io/ . Did not have time trying it out and did not have the need yet.
So for my original question I will have to test this a bit more I guess.