Closed aparcar closed 6 years ago
The only difference between this one and the one on master is the BRANCH=develop line. Can't we merge this two? I don't like the differences between develop and master... master should be a pointer to a state of the develop branch... right?
@ilario I was just saying that those variables can be asked to the git command: git branch | grep \* | cut -d ' ' -f2
@nicopace ping