CI: deploy
This MR aims at adding a script to deploy binaries and documentation.
It adds a job that will be triggered on develop branch and on release branch.
For develop branch packages will be pushed as before, in a repository named by its production's date. A symlink latest will be created also.
For released packages will be pushed under a staging
directory. During RC, one can launch manually a job with the variable RC_NUMBER
set as follow : rc-0.0 and every packages will be suffix by -rc-0.0
.
Edited by Antoine Regimbeau