@FedericoCeratto:
you can create this file in the backend repo for example
the deploy tool it's just a very thin helper on top of ssh and apt-get
it will walk backwards until it finds a deployer.ini file in order to support files in the home dir as well as in the local repo or subdirectory
the closer one to your current directory wins
it could be committed in the backed repo now that everything is in one repo
From slack:
@FedericoCeratto: you can create this file in the backend repo for example the deploy tool it's just a very thin helper on top of ssh and apt-get it will walk backwards until it finds a deployer.ini file in order to support files in the home dir as well as in the local repo or subdirectory the closer one to your current directory wins it could be committed in the backed repo now that everything is in one repo