Hello, thank you for the suggestion.
Unfortunately, although this can look like a very simple task, in reality, it's very hard and almost impossible to achieve.
Only to be sure, we're talking about Doctrine ORM or Laravel ORM?
Because in Doctrine, Skipper is updating only @ORM annotations and we're not able to export/modify/remove any other annotation. It's because is very hard to touch other @annotations and not break anything else. (For example, when the property is removed from ORM, this doesn't have to mean that the user wants to remove it also from the code, etc.).
On the other side, in Laravel, we're exporting complete base model file and we should be probably able to export also these properties (but only to the base class, not to derived class).
So, now it depends about which ORM framework we're talking ;-).