add develop repository to EESSI

  • What is the use case of this develop-repository in EESSI? Allow developers to deploy development builds easily on EuroHPC clusters?
  • What is the effort needed to set up the develop-repository? Easy technical implementation.
  • Possible reason to not have a develop-repository? Keep limited number of repositories in EESSI.