I have two different extension1 and extension2 for two different users user1 and user2. These extensions are using the same functions. I created a common scripted module that both extensions can use. My question: Is it ok to add pull request for this extension as it does not do anything by itself?
If I add it to one of the two extensions, one of the users will have to install both extensions. If I add it to both extensions, this produce redundancy.