Hi,
I have a question for those of you who develops on Contao and uses github to release his extension: how do you set up your develop environment? Extension repository outside the contao local installation? One contao local installation for every extension?

Davide