Rare project developers

[Alexander Gall <>]

On Thu, 5 Jan 2023 13:48:48 +0100, mc36 <> said:

> i see that you're having hard time with the regular profiles update... :)

No, this is just testing. Please ignore :)

--
Alex

> maybe my exceptional commit from yesterday fvcked up your local copy?

> btw, you already mentioned that to fully automate this, with the current
> source tree, one needs to be extra cautious... so here comes my question:

> would it be hard for you to store the optimizations in a different repo?

> back in the days frederic and i created one just for this purpose:
> https://bitbucket.software.geant.org/projects/RARE/repos/rare-profiles/browse
> it's empty now but if we move 
> https://bitbucket.software.geant.org/projects/RARE/repos/rare/browse/profiles
> there then one can easier automate the whole thing imho without, having to 
> care?
> thanks,
> cs



> -------- Forwarded Message --------
> Subject:  RARE/RARE - Pull request #8: Profile optimization for RARE 
> version $rare_commit
> Date:  Thu, 5 Jan 2023 13:39:35 +0100 (CET)
> From:  GEANT Bitbucket <>
> To:  



 
> Alexander Gall   DELETED the pull request *Profile optimization for RARE 
> version $rare_commit*
> optimizer_9.7.4_e4200d

      
> master

 

> 05 January 2023 01:39 PM

> To change the type of emails you receive for this repository, review your 
> preferences 
> <https://bitbucket.software.geant.org/projects/RARE/repos/rare/browse#watch>.
> Want to receive fewer emails? Update your notification settings 
> <https://bitbucket.software.geant.org/plugins/servlet/notification/settings>
>  to turn on batch emails.